Volgen
Jos Baeten
Jos Baeten
Onbekend partnerschap
Geverifieerd e-mailadres voor cwi.nl
Titel
Geciteerd door
Geciteerd door
Jaar
Process algebra
JCM Baeten, WP Weijland
Cambridge university press, 1991
19941991
Real time process algebra
JCM Baeten, JA Bergstra
Formal Aspects of Computing 3, 142-188, 1991
5711991
A brief history of process algebra
JCM Baeten
Theoretical Computer Science 335 (2-3), 131-146, 2005
5582005
Process algebra: equational theories of communicating processes
JCM Baeten, T Basten, T Basten, MA Reniers
Cambridge university press, 2010
2852010
Syntax and defining equations for an interrupt mechanism in process algebra
JCM Baeten, JA Bergstra, JW Klop
Fundamenta Informaticae 9 (2), 127-167, 1986
2551986
Process algebra with timing
JCM Baeten, CA Middelburg
Springer Science & Business Media, 2002
2282002
On the consistency of Koomen's fair abstraction rule
JCM Baeten, JA Bergstra, JW Klop
Theoretical Computer Science 51 (1-2), 129-176, 1987
2091987
Decidability of bisimulation equivalence for process generating context-free languages
JCM Baeten, JA Bergstra, JW Klop
Journal of the ACM (JACM) 40 (3), 653-682, 1993
1861993
Global renaming operators in concrete process algebra
JCM Baeten, JA Bergstra
Information and Computation 78 (3), 205-245, 1988
1721988
Decidability of bisimulation equivalence for processes generating context-free languages
JA Bergstra, JCM Baeten, JW Klop
Lecture Notes in Computer Science 259, 94-111, 1987
1561987
Axiomatizing probabilistic processes: ACP with generative probabilities
JCM Baeten, JA Bergstra, SA Smolka
Information and Computation 121 (2), 234-255, 1995
1361995
A congruence theorem for structured operational semantics with predicates
JCM Baeten, C Verhoef
CONCUR 93, 477-492, 1993
1351993
Process Algebra, volume 18 of
JCM Baeten, WP Weijland
Cambridge tracts in theoretical computer science, 141-147, 1990
1321990
Concrete process algebra
JCM Baeten, C Verhoef
Eindhoven University of Technology, Department of Mathematics and Computing …, 1995
1291995
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
1031987
Discrete time process algebra
JCM Baeten, JA Bergstra
Formal Aspects of Computing 8, 188-208, 1996
1021996
Process algebra with timing: Real time and discrete time
JCM Baeten, CA Middelburg
Handbook of process algebra, 627-684, 2001
882001
Process algebra with signals and conditions
JCM Baeten, JA Bergstra
Programming and Mathematical Method: International Summer School, 273-323, 1992
861992
Another look at abstraction in process algebra
JCM Baeten, RJ van Glabbeek
Centrum voor Wiskunde en Informatica, 1987
811987
Term-rewriting systems with rule priorities
JCM Baeten, JA Bergstra, JW Klop, WP Weijland
Theoretical Computer Science 67 (2-3), 283-301, 1989
731989
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20