650 search results - page 4 / 130 » Logical Bisimulations and Functional Languages |
PEPM
2004
ACM
14 years 1 days ago
2004
ACM
We implement strength reduction and loop-invariant code motion by specializing instrumented interpreters; we define a novel program transformation that uses bisimulation to ident...
IAT
2009
IEEE
14 years 1 months ago
2009
IEEE
—We propose various logical semantics for change of awareness. The setting is that of multiple agents that may become aware of facts or other agents, or forget about them. We mod...
ASIAN
1998
Springer
13 years 11 months ago
1998
Springer
Chi calculus was proposed as a process algebra that has a uniform treatment of names. The paper carries out a systematic study of bisimilarities for chi processes. The notion of L-...
MFCS
1991
Springer
13 years 10 months ago
1991
Springer
Weak Observational Congruence (woc) defined on CCS agents is not a bisimulation since it does not require two states reached by bisimilar computations of woc agents to be still w...
ESOP
2010
Springer
14 years 4 months ago
2010
Springer