BIRTHDAY
2015
Springer
10 years 1 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...
110
click to vote
BIRTHDAY
2015
Springer
10 years 1 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 ...
106
click to vote
BIRTHDAY
2015
Springer
10 years 1 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...
BIRTHDAY
2015
Springer
10 years 1 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...
BIRTHDAY
2015
Springer
10 years 1 months ago
2015
Springer