290 search results - page 3 / 58 » Congruence for Structural Congruences |
JCSS
2000
13 years 7 months ago
2000
This article presents a congruence format, in structural operational semantics, for rooted branching bisimulation equivalence. The format imposes additional requirements on Groote...
LICS
2006
IEEE
14 years 1 months ago
2006
IEEE
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
LICS
1998
IEEE
13 years 11 months ago
1998
IEEE
In this paper we describe the promoted tyft tyxt rule format for de ning higher-order languages. The rule format is a generalization of Groote and Vaandrager's tyft tyxt form...
ATAL
2005
Springer
14 years 28 days ago
2005
Springer
Reorganization of the structure of an organization is a crucial issue in multi-agent systems that operate in an open, dynamic environment. Ideally, autonomous agents must be able t...
RTA
1999
Springer
13 years 11 months ago
1999
Springer
