Results 281 to 290 of about 29,356 (295)

A fluid analysis framework for a Markovian process algebra

Theoretical Computer Science, 2010
Richard A Hayden, Jeremy T Bradley
exaly  

Cellular modelling using P systems and process algebra

Progress in Natural Science: Materials International, 2007
FRANCISCO J Romero-Campero, Marian Gheorghe, Gabriel Ciobanu   +2 more
exaly  

Kleene's three-valued logic and process algebra

Information Processing Letters, 1998
Jan A Bergstra, Alban Ponse
exaly  

Process algebra with guards: Combining Hoare logic with process algebra

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

Located Actions in Process Algebra with Timing

Fundamenta Informaticae, 2004
Jan A Bergstra, C A Middelburg
exaly  

A process algebra based simulation model of a miniload-workstation order picking system

Computers in Industry, 2011
L F P Etman, J E Rooda
exaly  

A brief history of process algebra

Theoretical Computer Science, 2005
exaly  

On the usability of process algebra: An architectural view

Theoretical Computer Science, 2005
Alessandro Aldini, Marco Bernardo
exaly  

Equivalence of recursive specifications in process algebra

Information Processing Letters, 2001
Alban Ponse, Yaroslav S Usenko
exaly  

Priority and abstraction in process algebra

Information and Computation, 2007
exaly