69
Voted
BIRTHDAY
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. Petri games, introduced in recent joint work with ErnstR¨udiger Olderog, are an extension of Petri nets for the causality-based synthesis of distributed systems. In a Pe...
82
Voted
BIRTHDAY
2015
Springer
9 years 11 months ago
2015
Springer
Let α ∈ (0, 1)R be irrational and Gn = Gn,1/nα be the random graph with edge probability 1/nα; we know that it satisfies the 0-1 law for first order logic. We deal with the ...
77
Voted
BIRTHDAY
2015
Springer
9 years 11 months ago
2015
Springer
The aim of the paper is to present a theory agenda for component-based design based on results that motivated the development of the BIP component framework, to identify open probl...
65
Voted
BIRTHDAY
2015
Springer
9 years 11 months ago
2015
Springer
We recall the kernel algebraic specification language ASL and outline its main features in the context of the state of research on algebraic specification at the time it was conc...
66
Voted
BIRTHDAY
2015
Springer
9 years 11 months ago
2015
Springer