17 search results - page 1 / 4 » calco 2005 |
CALCO
2005
Springer
14 years 1 months ago
2005
Springer
CALCO
2005
Springer
14 years 1 months ago
2005
Springer
We consider open terms and parametric rules in the context of the systematic derivation of labelled transitions from reduction systems.
CALCO
2005
Springer
14 years 1 months ago
2005
Springer
We present ACPc , a process algebra with conditional expressions in which the conditions are taken from a Boolean algebra, and extensions of this process algebra with mechanisms fo...
CALCO
2005
Springer
14 years 1 months ago
2005
Springer
Simulations are a very natural way of relating concurrent systems, which are mathematically modeled by Kripke structures. The range of available notions of simulations makes it ver...
CALCO
2005
Springer
14 years 1 months ago
2005
Springer
We propose a coalgebraic model of the Fusion calculus based on HD-automata. The main advantage of the approach is that the partition refinement algorithm designed for HD-automata ...