( en | de | ru )

 

Disambiguation of "de Boer, Frank S."

Author of the publication

copydeleteadd this publication to your clipboard
Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing.

, , , and . ACSD, page 212-221. IEEE Computer Society, (2005)

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. You can also use the button next to the name to display some publications already assigned to the person.

de Boer

wim de boer

Nicole Schlorke-de Boer

Johanne Boer

Chandradewana Boer

 

Other publications of authors with the same name

A Fully Abstract Semantics for UML Components, , , and . X, page 49--69. (2005)Formal Verification of Service Level Agreements Through Distributed Monitoring., , and . ESOCC, volume 9306 of Lecture Notes in Computer Science, page 125-140. Springer, (2015)A shared-variable concurrency analysis of multi-threaded object-oriented programs.. Theor. Comput. Sci., 410 (2-3): 128-141 (2009)A design pattern for optimizations in data intensive applications using ABS and JAVA 8., , , , and . Concurr. Comput. Pract. Exp., 28 (2): 374-385 (2016)Proving Correctness of Parallel Implementations of Transition System Specifications., , , and . CoRR, (2023)Embedding as a Tool for Language Comparison, and . Inf. Comput., 108 (1): 128-157 (January 1994)An Algebraic Perspective of Constraint Logic Programming., , and . J. Log. Comput., 7 (1): 1-38 (1997)Prototyping a tool environment for run-time assertion checking in JML with communication histories., , and . FTfJP@ECOOP, page 6:1-6:7. ACM, (2010)A proof rule for process-creation.. Formal Description of Programming Concepts, page 23-52. North-Holland, (1987)Modularity and the Rule of Adaptation., and . AMAST, volume 3116 of Lecture Notes in Computer Science, page 394-408. Springer, (2004)