Jos Baeten
Jos Baeten
Okänd anknytning
Verifierad e-postadress på cwi.nl
Titel
Citeras av
Citeras av
År
Applications of process algebra
JCM Baeten
Cambridge university press, 2004
19162004
Real time process algebra
JCM Baeten, JA Bergstra
Formal Aspects of Computing 3 (2), 142-188, 1991
5451991
A brief history of process algebra
JCM Baeten
Theoretical Computer Science 335 (2-3), 131-146, 2005
4902005
Process algebra: equational theories of communicating processes
JCM Baeten, T Basten, T Basten, MA Reniers
Cambridge university press, 2010
2542010
Syntax and defining equations for an interrupt mechanism in process algebra
JA Bergstra, JCM Baeten, JW Klop
Fundamenta informaticae: quarterly 9, 127-167, 1986
2421986
Process algebra with timing
JCM Baeten, CA Middelburg
Springer Science & Business Media, 2013
2232013
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 process generating context-free languages
JCM Baeten, JA Bergstra, JW Klop
Journal of the ACM (JACM) 40 (3), 653-682, 1993
1661993
Global renaming operators in concrete process algebra
JCM Baeten, JA Bergstra
Information and Computation 78 (3), 205-245, 1988
1651988
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
1581987
A congruence theorem for structured operational semantics with predicates
JCM Baeten, C Verhoef
International Conference on Concurrency Theory, 477-492, 1993
1311993
G UNIVERSITY OF GGGGGGSGGGSS
JCM Baeten, C Verhoef
1281995
Process Algebra, volume 18 of
JCM Baeten, WP Weijland
Cambridge tracts in theoretical computer science, 141-147, 1990
1241990
Axiomatizing probabilistic processes: ACP with generative probabilities
JCM Baeten, JA Bergstra, SA Smolka
Information and Computation 121 (2), 234-255, 1995
1201995
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, 2014
1152014
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
1051987
Discrete time process algebra
JCM Baeten, JA Bergstra
Formal aspects of computing 8 (2), 188-208, 1996
981996
Process algebra with timing: real time and discrete time
JCM Baeten, CA Middelburg
Handbook of process algebra, 627-684, 2001
872001
Process algebra with signals and conditions
JCM Baeten, JA Bergstra
Programming and Mathematical Method, 273-323, 1992
791992
Another look at abstraction in process algebra
JCM Baeten, RJ van Glabbeek
International Colloquium on Automata, Languages, and Programming, 84-94, 1987
711987
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20