In this paper, we describe a framework to program open societies of concurrently operating agents. The agents maintain a subjective theory about their environment and interact with...
Rogier M. van Eijk, Frank S. de Boer, Wiebe van de...
The paper present a layered design for a discrete event simulation framework based on the Java programming language. A description of this project’s goals and motivation is foll...
Wolfgang Kreutzer, Jane Hopkins, Marcel van Mierlo
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
"Design patterns inspired by functional programming concepts can advance object-oriented design. This thesis promotes the idea that concepts from the world of functional progr...