4485 search results - page 88 / 897 » Equivalences on Observable Processes |
105
click to vote
CMSB
2004
Springer
15 years 8 months ago
2004
Springer
A refinement of Cardelli’s brane calculus [1] is introduced where membrane actions are directed. This modification brings the language closer to biological membranes and also o...
127
click to vote
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
This paper studies the (in)equational theory of simulation preorder and equivalence over the process algebra BCCSP. We prove that in the presence of a finite alphabet with at least...
121
click to vote
DOCENG
2008
ACM
15 years 5 months ago
2008
ACM
In this paper we propose a technique for evaluating similarity of XML Schema fragments. Firstly, we define classes of structurally and semantically equivalent XSD constructs. Then...
161
click to vote
JLP
2010
14 years 10 months ago
2010
The aim of the paper is to give a formal compositional semantics for Spiking Neural P systems (SNP systems) by following the Structural Operational Semantics (SOS) approach. A pro...
INFSOF
1998
15 years 2 months ago
1998
This paper describes RolEnact: a process-modelling notation used to provide enactable models of process instances. The paper shows how RolEnact models may be produced which are eq...