( en | de | ru )

 

Disambiguierung von "de Boer, Frank S."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Concurrency Verification: Introduction to Compositional and Noncompositional Methods

, , , , , , und . Cambridge Tracts in Theoretical Computer Science Cambridge University Press, (2001)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

de Boer

wim de boer

Nicole Schlorke-de Boer

Johanne Boer

Chandradewana Boer

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal Verification of Service Level Agreements Through Distributed Monitoring., , und . ESOCC, Volume 9306 von Lecture Notes in Computer Science, Seite 125-140. Springer, (2015)Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study., , , , und . LNCS Trans. Aspect Oriented Softw. Dev., (2014)Integrating Architectural Models - Symbolic, Semantic and Subjective Models in Enterprise Architecture., , , , , und . Enterprise Modelling and Information Systems Architectures, 2 (1): 40-57 (2007)A design pattern for optimizations in data intensive applications using ABS and JAVA 8., , , , und . Concurr. Comput. Pract. Exp., 28 (2): 374-385 (2016)Agent Programming in 3APL., , , und . Auton. Agents Multi Agent Syst., 2 (4): 357-401 (1999)Object-Oriented and Constraint Programming for Time Critical Applications.. ECOOP Workshops, Volume 1743 von Lecture Notes in Computer Science, Seite 255-266. Springer, (1999)A Petri Net Based Modeling of Active Objects and Futures., , , und . Fundam. Informaticae, 159 (3): 197-256 (2018)A Timed Linda Language and its Denotational Semantics., , und . Fundam. Informaticae, 63 (4): 309-330 (2004)A proof rule for process-creation.. Formal Description of Programming Concepts, Seite 23-52. North-Holland, (1987)Prototyping a tool environment for run-time assertion checking in JML with communication histories., , und . FTfJP@ECOOP, Seite 6:1-6:7. ACM, (2010)