285 search results - page 48 / 57 » Game Semantics and Subtyping |
CONCUR
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We present an encoding for (bound) processes of the asynchronous CCS with replication into open Petri nets: ordinary Petri nets equipped with a distinguished set of open ...
RE
2009
Springer
14 years 3 months ago
2009
Springer
Heterogeneously-licensed systems pose new challenges to analysts and system architects. Appropriate intellectual property rights must be available for the installed system, but wi...
AGTIVE
2007
Springer
14 years 2 months ago
2007
Springer
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...
ARGMAS
2005
Springer
14 years 2 months ago
2005
Springer
One form of argument-based negotiation is when agents argue about why an offer was rejected. If an agent can state a reason for a rejection of an offer, the negotiation process m...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
One of the most significant challenges in applying agent technologies lies in deployment of agent systems in largescale open environments. ...