Sciweavers

4 search results - page 1 / 1
» A Congruence Format for Name-passing Calculi
Sort
View
LICS
2006
IEEE
15 years 4 months ago
A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
Marcelo P. Fiore, Sam Staton
FOSSACS
2008
Springer
14 years 11 months ago
Structural Operational Semantics for Stochastic Process Calculi
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...
Bartek Klin, Vladimiro Sassone
ENTCS
2006
126views more  ENTCS 2006»
14 years 10 months ago
A Congruence Format for Name-passing Calculi
We define and use a SOS-based framework to specify the transition systems of calculi with name-passing properties. This setting uses proof-theoretic tools to take care of some of ...
Axelle Ziegler, Dale Miller, Catuscia Palamidessi
TGC
2005
Springer
15 years 3 months ago
A General Name Binding Mechanism
We study fusion and binding mechanisms in name passing process calculi. To this purpose, we introduce the U-Calculus, a process calculus with no I/O polarities and a unique form of...
Michele Boreale, Maria Grazia Buscemi, Ugo Montana...