Searching for authors named "Alban Ponse" – sorted by Relevance.
22 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
