1012 search results - page 9 / 203 » Process Algebra with Backtracking |
SEFM
2005
IEEE
14 years 1 months ago
2005
IEEE
We present a process calculus where synchronous composition is the central algebraic notion; equivalences between processes via bisimilarity or trace can be studied quite simply i...
CIE
2010
Springer
14 years 16 days ago
2010
Springer
We introduce a geometric process algebra based on affine geometry, with the aim of describing the concurrent evolution of geometric structures in 3D space. We prove a relativity th...
SIMULATION
2008
13 years 7 months ago
2008
Models of physical systems have to be based on physical principles such as conservation of energy and continuity of power. These principles are inherently enforced by the bond gra...
CONCUR
2005
Springer
13 years 9 months ago
2005
Springer
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...