Results 241 to 250 of about 17,836 (258)

Process algebra with four-valued logic

Journal of Applied Non-Classical Logics, 2000
Alban Ponse, Jan Bergstra
exaly  

Process Algebra with Timing

2002
Jos C. M. Baeten, Cornelis A. Middelburg
openaire   +2 more sources

Real space process algebra

Formal Aspects of Computing, 1993
J C M Baeten, J A Bergstra
exaly  

Cellular modelling using P systems and process algebra

Progress in Natural Science: Materials International, 2007
FRANCISCO J Romero-Campero, Marian Gheorghe, Mario J Perez Jiménez   +2 more
exaly  

Kleene's three-valued logic and process algebra

Information Processing Letters, 1998
Alban Ponse, Jan Bergstra
exaly  

A fluid analysis framework for a Markovian process algebra

Theoretical Computer Science, 2010
Jeremy Moss Bradley
exaly  

Process algebra with guards: Combining Hoare logic with process algebra

Formal Aspects of Computing, 1994
Alban Ponse, Jan Friso Groote
exaly  

Describing and reasoning on Web Services using Process Algebra

International Journal of Business Process Integration and Management, 2006
Marco Schaerf
exaly  

Process algebra and conditional composition

Information Processing Letters, 2001
Alban Ponse, Jan Bergstra
exaly  

A brief history of process algebra

Theoretical Computer Science, 2005
exaly