Jos Baeten
Jos Baeten
Okänd anknytning
Verifierad e-postadress på cwi.nl
TitelCiteras avÅr
Applications of process algebra
JCM Baeten
Cambridge university press, 2004
18872004
Real time process algebra
JCM Baeten, JA Bergstra
Formal Aspects of Computing 3 (2), 142-188, 1991
5391991
A brief history of process algebra
JCM Baeten
Theoretical Computer Science 335 (2-3), 131-146, 2005
4682005
Process algebra: equational theories of communicating processes
JCM Baeten, T Basten, T Basten, MA Reniers
Cambridge university press, 2010
2372010
Syntax and defining equations for an interrupt mechanism in process algebra
JA Bergstra, JCM Baeten, JW Klop
Fundamenta informaticae: quarterly 9, 127-167, 1986
2361986
Process algebra with timing
JCM Baeten, CA Middelburg
Springer Science & Business Media, 2013
2212013
On the consistency of Koomen's fair abstraction rule
JCM Baeten, JA Bergstra, JW Klop
Theoretical Computer Science 51 (1-2), 129-176, 1987
2061987
Decidability of bisimulation equivalence for processes generating context-free languages
JA Bergstra, JCM Baeten, JW Klop
Journal of the Association for Computing Machinery 40 (3), 653-682, 1993
1631993
Decidability of bisimulation equivalence for processes generating context-free languages
JCM Baeten, JA Bergstra, JW Klop
International Conference on Parallel Architectures and Languages Europe, 94-111, 1987
1601987
Global renaming operators in concrete process algebra
JCM Baeten, JA Bergstra
Information and Computation 78 (3), 205-245, 1988
1591988
A congruence theorem for structured operational semantics with predicates
JCM Baeten, C Verhoef
International Conference on Concurrency Theory, 477-492, 1993
1281993
Process Algebra, volume 18 of
JCM Baeten, WP Weijland
Cambridge tracts in theoretical computer science, 141-147, 1990
1211990
Axiomatizing probabilistic processes: ACP with generative probabilities
JCM Baeten, JA Bergstra, SA Smolka
Information and Computation 121 (2), 234-255, 1995
1181995
G UNIVERSITY OF GGGGGGSGGGSS
JCM Baeten, C Verhoef
1121995
Ready-trace semantics for concrete process algebra with the priority operator
JCM Baeten, JA Bergstra, JW Klop
The Computer Journal 30 (6), 498-506, 1987
1021987
Discrete time process algebra
JCM Baeten, JA Bergstra
Formal Aspects of Computing 8 (2), 188-208, 1996
971996
Factors associated with social interactions between deaf children and their hearing peers: A systematic literature review
G Batten, PM Oakes, T Alexander
Journal of deaf studies and deaf education 19 (3), 285-302, 2013
862013
Process algebra with timing: real time and discrete time
JCM Baeten, CA Middelburg
Handbook of process algebra, 627-684, 2001
862001
Process algebra with signals and conditions
JCM Baeten, JA Bergstra
Programming and Mathematical Method, 273-323, 1992
801992
Another look at abstraction in process algebra
JCM Baeten, RJ van Glabbeek
International Colloquium on Automata, Languages, and Programming, 84-94, 1987
721987
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20