Jaco de Bakker

Publication Activity (10 Years)

Years Active: 1977-2000
Publications (10 Years): 0

Publications

Jaco de Bakker, Franck van Breugel
From Banach to Milner: metric semantics for second order communication and concurrency. Proof, Language, and Interaction (2000)
Pierre America, Jaco de Bakker, Joost N. Kok, Jan J. M. M. Rutten
Denotational Semantics of a Parallel Object-Oriented Language Inf. Comput. 83 (2) (1989)
Pierre America, Jaco de Bakker
Designing Equivalent Semantic Models for Process Creation. Theor. Comput. Sci. 60 (1988)
Pierre America, Jaco de Bakker
Designing Equvialent Semantic Models for Process Creation. Mathematical Models for the Semantics of Parallelism (1986)
Pierre America, Jaco de Bakker, Joost N. Kok, Jan J. M. M. Rutten
Operational Semantics of a Parallel Object-Oriented Language. POPL (1986)
Jaco de Bakker
Session Discussion. Formal Description of Programming Concepts (1982)
Jaco de Bakker
Recursive Programs as Predicate Transformers. Formal Description of Programming Concepts (1977)