Sciweavers

1012 search results - page 37 / 203
» Process Algebra with Backtracking
Sort
View
ROOM
2000
13 years 9 months ago
OO-Motivated Process Algebra: A Calculus for CORBA-like Systems
This paper is a proposal for a new two-tier calculus, designed to model aspects of CORBA-like systems at the CORBA evel. The higher object level known as Oompa abstracts away from...
Malcolm Tyrrell, Andrew Butterfield, Alexis Donnel...
CORR
2010
Springer
47views Education» more  CORR 2010»
13 years 8 months ago
Investigating modularity in the analysis of process algebra models of biochemical systems
Federica Ciocchetta, Maria Luisa Guerriero, Jane H...
DKE
2006
89views more  DKE 2006»
13 years 7 months ago
Automaton meets algebra: A hybrid paradigm for XML stream processing
Hong Su, Elke A. Rundensteiner, Murali Mani
ENTCS
2006
98views more  ENTCS 2006»
13 years 7 months ago
A Petri Net Semantics of a Simple Process Algebra for Mobility
Raymond R. Devillers, Hanna Klaudel, Maciej Koutny