Boer, Frank S. de
Boer, F.S. de (Frank Sipke), 1956-
Boer, Frank S. de 1956-
Frank de Boer
VIAF ID: 74904406 ( Personal )
Permalink: http://viaf.org/viaf/74904406
Preferred Forms
-
- 100 1 _ ‡a Boer, Frank S. De
- 100 1 _ ‡a Boer, Frank S. de
-
-
- 100 1 _ ‡a Boer, Frank S. de
- 100 1 _ ‡a Boer, Frank S. de
-
-
-
- 100 1 _ ‡a Boer, Frank S. de ‡d 1956-
- 100 0 _ ‡a Frank de Boer
4xx's: Alternate Name Forms (21)
Works
Title | Sources |
---|---|
Abstract behavioral specification: unifying modeling and programming. | |
An algebraic perspective of constraint logic programming | |
Asynchronous communication in process algebra : extended abstract | |
A compositional model for confluent dynamic data-flow networks | |
Compositionality in the inductive assertion method for concurrent systems | |
Embedding as a tool for language comparison: on the CSP hierarchy | |
FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings | |
FMCO 2008 | |
Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures | |
From failure to success: comparing a denotational and a declarative semantics for Horn clause logic | |
A fully abstract model for concurrent logic languages | |
Liber amicorum : Jaco de Bakker | |
A logical interface description language for components | |
Nondeterminism and infinite computations in constraint programming | |
On blocks | |
A proof rule for process-creation | |
A proof system for asynchronously communicating deterministic processes | |
A proof theory for a sequential version of POOL | |
Proving concurrent constraint programs correct | |
Proving termination of parallel programs | |
Proving total correctness of recursive procedures | |
Reasoning about dynamically evolving process structures : a proof theory for the parallel object-oriented language POOL | |
Semantic models for a version of Parlog | |
TCS 2012. | |
Testing Object Interaction | |
Theoretical computer science : 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, proceedings | |
Verification of sequential and concurrent programs |