researchr - search publication process algebra

researchr

You are not signed in
Sign in
Sign up

1266 publication results matching 'process algebra'

Process algebraJos C. M. Baeten, W. P. Weijland. Volume 18 of Cambridge tracts in theoretical computer science, Cambridge University Press, 1990.
Net Algebras on Process AlgebrasMarisa Venturini Zilli. eik, 26(4):201-212, 1990.
Translating Timed Process Algebra into Prioritized Process AlgebraAlan Jeffrey. ftrtft 1991: 493-506
Process Algebra with Local CommunicationMuck van Weerdenburg. ENTCS, 215:191-208, 2008. [doi]
Process Algebra with Nonstandard TimingKees Middelburg. FUIN, 53(1):55-77, 2002. [doi]
Process Algebra with Language MatchingJos van Wamel. TCS, 177(2):425-458, 1997. [doi]
Synchronic Distance in Process AlgebraHan Zuidweg. forte 1991: 63-77
Revisiting timing in process algebraC. A. Middelburg. jlp, 54(1-2):109-127, 2003. [doi]
Time and Probability in Process AlgebraSuzana Andova. amast 2000: 323-338 [doi]
Process Algebra with Probabilistic ChoiceSuzana Andova. arts 1999: 111-129 [doi]
Expressiveness of Process AlgebrasJoachim Parrow. ENTCS, 209:173-186, 2008. [doi]
Multi-Action Process AlgebraWojciech Fraczak. asian 1995: 126-140
Toward a quantum process algebraPhilippe Jorrand, Marie Lalire. cf 2004: 111-119 [doi]
Linear Process AlgebraVaughan Pratt. icdcit 2011: 92-111 [doi]
Introduction to process algebraWan Fokkink. Texts in theoretical computer science, Springer, 2000.
A Temporal Process AlgebraMatthew Hennessy, Tim Regan. forte 1991: 33-48
A Process Algebra for Timed SystemsMatthew Hennessy, Tim Regan. iandc, 117(2):221-239, March 1995.
A Linear Time Process AlgebraAlan Jeffrey. cav 1992: 432-442
An Incompleteness Result in Process AlgebraAndrzej Szalas. ipl, 29(2):67-70, 1988.
Towards the Evolutionary Process AlgebraFernando L. Pelayo, Luis de la Ossa, Fernando Cuartero, Maria L. Pelayo, Juan L. G. Guirao. IEEEicci 2009: 69-76 [doi]

Sign in or sign up to see more results.

runs on WebDSL