37 search results - page 2 / 8 » Sound Bisimulations for Higher-Order Distributed Process Cal... |
92
Voted
FSTTCS
2005
Springer
15 years 6 months ago
2005
Springer
We extend Howe’s method to prove that input-early strong and -delay contextual bisimulations are congruences for the Higher-order mobile embedded resources (Homer) calculus, a ty...
121
Voted
LICS
2008
IEEE
15 years 7 months ago
2008
IEEE
In higher-order process calculi the values exchanged in communications may contain processes. A core calculus of higher-order concurrency is studied; it has only the operators nec...
ENTCS
2002
15 years 28 days ago
2002
91
Voted
GC
2004
Springer
15 years 6 months ago
2004
Springer
103
Voted
CONCUR
1995
Springer
15 years 4 months ago
1995
Springer
We develop a theory of bisimulation equivalence for the broadcast calculus CBS. Both the strong and weak versions of bisimulation congruence we study are justi ed in terms of a cha...