Relating May and Must Testing Semantics for Discrete Timed Process Algebras

1999 ◽  
pp. 74-86
Author(s):  
Luis Fernando Llana Díaz ◽  
David de Frutos Escrig
Keyword(s):  
Process Algebras ◽  
Testing Semantics

scholarly journals Order algebras: a quantitative model of interaction

2017 ◽  
Vol 28 (7) ◽  
pp. 1126-1168
Author(s):  
EMMANUEL BEFFARA
Keyword(s):  
Partial Order ◽  
Algebraic Structure ◽  
Linear Logic ◽  
Quantitative Model ◽  
Process Algebras ◽  
Linear Combinations ◽  
Order Relations ◽  
Standard Notion ◽  
Testing Semantics

A quantitative model of concurrent interaction is introduced. The basic objects are linear combinations of partial order relations, acted upon by a group of permutations that represents potential non-determinism in synchronisation. This algebraic structure is shown to provide faithful interpretations of finitary process algebras, for an extension of the standard notion of testing semantics, leading to a model that is both denotational (in the sense that the internal workings of processes are ignored) and non-interleaving. Constructions on algebras and their subspaces enjoy a good structure that make them (nearly) a model of differential linear logic, showing that the underlying approach to the representation of non-determinism as linear combinations is the same.

Testing Semantics for Urgent Timed Process Algebras

2007 ◽  
pp. 221-235
Author(s):  
Luis F. Llana-Díaz ◽  
David de Frutos-Escrig ◽  
Manuel Núñez
Keyword(s):  
Process Algebras ◽  
Testing Semantics

scholarly journals Testing semantics for unbounded nondeterminism

1997 ◽  
pp. 538-545 ◽  
Author(s):  
Luis Fdo. Llana Díaz ◽  
Manuel Núñez
Keyword(s):  
Testing Semantics

scholarly journals Process Algebras

2011 ◽  
pp. 1624-1636
Author(s):  
Bruce Leasure ◽  
David J. Kuck ◽  
Sergei Gorlatch ◽  
Murray Cole ◽  
Gregory R. Watson ◽  
...  
Keyword(s):  
Process Algebras

scholarly journals Stochastic Process Algebras: From Individuals to Populations

2011 ◽  
Vol 55 (7) ◽  
pp. 866-881 ◽  
Author(s):  
J. Hillston ◽  
M. Tribastone ◽  
S. Gilmore
Keyword(s):  
Stochastic Process ◽  
Process Algebras ◽  
Stochastic Process Algebras

Process Algebras for Petri Nets

2017 ◽  
Author(s):  
Roberto Gorrieri
Keyword(s):  
Petri Nets ◽  
Process Algebras

PBC and Other Process Algebras

2001 ◽  
pp. 295-312
Author(s):  
Eike Best ◽  
Raymond Devillers ◽  
Maciej Koutny
Keyword(s):  
Process Algebras
Sign in / Sign up

Export Citation Format

Share Document