( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On the Semantics of Concurrent Constraint Programming.

, и . ALPUK, стр. 145-173. Springer, (1992)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

de Boer

wim de boer

Nicole Schlorke-de Boer

Johanne Boer

Chandradewana Boer

 

Другие публикации лиц с тем же именем

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