Searching for authors named "Alban Ponse" – sorted by Relevance.
-
A Car Registration Authority, a Concise PSF-Specification
- A Car Registration Authority, a Concise PSF-Specification Inge Bethke Alban Ponse University
- Add To MetaCart
-
An Algebraic Specification of a Model Factory, Part IV
- An Algebraic Specification of a Model Factory, Part IV Jacob Brunekreef Alban Ponse Programming
- Add To MetaCart
-
Two Finite Specifications of a Queue
- Two Finite Specifications of a Queue Marc Bezem 1 Alban Ponse 2 1 Utrecht University
- Cited by 3 (0 self) – Add To MetaCart
-
An Algebraic Specification of a Model Factory, Part II
- An Algebraic Specification of a Model Factory, Part II Joris Hillebrand Alban Ponse Programming
- Cited by 2 (1 self) – Add To MetaCart
-
Process Algebra and Hoare's Logic
- Process Algebra and Hoare's Logic Alban Ponse Centre for Mathematics and Computer Science P.O. Box
- Add To MetaCart
-
Program Algebra with Unit Instruction Operator
- Program Algebra with Unit Instruction Operator Jan A. Bergstra a;b and Alban Ponse a;c a
- Add To MetaCart
-
Grid Protocols based on Synchronous Communication: Specification and Correctness
- ;2 Joris Hillebrand 1 Alban Ponse 1 1 University of Amsterdam, Programming Research Group Kruislaan 403
- Cited by 5 (1 self) – Add To MetaCart
-
Process Algebra with Recursive Operations
- Process Algebra with Recursive Operations Jan Bergstra 2;3 Wan Fokkink 1 Alban Ponse 1;3 1
- Cited by 11 (4 self) – Add To MetaCart
-
Bochvar-McCarthy logic and process algebra. Notre Dame
- and Process Algebra JAN A. BERGSTRA and ALBAN PONSE Abstract We propose a combination of Bochvar’s strict
- Cited by 3 (2 self) – Add To MetaCart
-
Interface Groups and Financial Transfer Architectures
- A. Bergstra 1,2,† Alban Ponse 1 1 University of Amsterdam, Section Software Engineering, Kruislaan
- Cited by 4 (4 self) – Add To MetaCart

