2136 search results - page 27 / 428 » A Game-Theoretic Operational Semantics |
78
Voted
CHARME
1995
Springer
15 years 7 months ago
1995
Springer
124
Voted
FOSSACS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. A syntactic framework called SGSOS, for defining well-behaved Markovian stochastic transition systems, is introduced by analogy to the GSOS congruence format for nondeter...
134
Voted
FMOODS
2003
15 years 4 months ago
2003
This paper1 presents the Kell calculus, a new distributed process calculus that retains the original insights of the Seal calculus (local actions, process replication) and of the M...
85
Voted
PARCO
2003
15 years 4 months ago
2003
77
Voted
AMCS
2008
15 years 3 months ago
2008