scholarly journals Verification of GALS Systems by Combining Synchronous Languages and Process Calculi

2009 ◽  
pp. 241-260 ◽  
Author(s):  
Hubert Garavel ◽  
Damien Thivolle
Keyword(s):  
Synchronous Languages ◽  
Process Calculi ◽  
Gals Systems

scholarly journals Process Calculi Abstractions for Biology

2009 ◽  
pp. 463-486 ◽  
Author(s):  
Maria Luisa Guerriero ◽  
Davide Prandi ◽  
Corrado Priami ◽  
Paola Quaglia
Keyword(s):  
Process Calculi

scholarly journals Process Calculi: The End of the Beginning?

2006 ◽  
Vol 162 ◽  
pp. 317-321 ◽  
Author(s):  
Peter Sewell
Keyword(s):  
Process Calculi

Fine-grained multithreading with process calculi

2001 ◽  
Vol 50 (8) ◽  
pp. 852-862
Author(s):  
L. Lopes ◽  
V.T. Vasconcelos ◽  
F. Silva
Keyword(s):  
Fine Grained ◽  
Process Calculi

scholarly journals A Presheaf Semantics of Value-Passing Processes

1996 ◽  
Vol 3 (44) ◽  
Author(s):  
Glynn Winskel
Keyword(s):  
Operational Semantics ◽  
Denotational Semantics ◽  
Domain Theory ◽  
Process Calculi ◽  
Traditional Definition ◽  
Open Maps

This paper investigates presheaf models for process calculi with<br />value passing. Denotational semantics in presheaf models are shown<br />to correspond to operational semantics in that bisimulation obtained<br />from open maps is proved to coincide with bisimulation as defined<br />traditionally from the operational semantics. Both "early" and "late"<br />semantics are considered, though the more interesting "late" semantics<br />is emphasised. A presheaf model and denotational semantics is proposed<br />for a language allowing process passing, though there remains<br />the problem of relating the notion of bisimulation obtained from open<br />maps to a more traditional definition from the operational semantics.<br />A tentative beginning is made of a "domain theory" supporting<br />presheaf models.

scholarly journals A criterion for separating process calculi

2010 ◽  
Vol 41 ◽  
pp. 16-30 ◽  
Author(s):  
Federico Banti ◽  
Rosario Pugliese ◽  
Francesco Tiezzi
Keyword(s):  
Process Calculi
Sign in / Sign up

Export Citation Format

Share Document