226 search results - page 3 / 46 » An Explicit Framework for Interaction Nets |
CSFW
2008
IEEE
13 years 11 months ago
2008
IEEE
We present an authorization logic that permits reasoning with explicit time. Following a proof-theoretic approach, we study the meta-theory of the logic, including cut elimination...
ICIDS
2009
Springer
13 years 12 months ago
2009
Springer
Computer aided interactive narrative has received increasing attention in recent years. Automated directorial control that manages the development of the story in the face of user ...
SIES
2007
IEEE
13 years 11 months ago
2007
IEEE
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...
APN
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. Coloured Petri nets (CP-nets or CPNs) is a widely used formalism for describing concurrent systems. CPN Tools provides a mature environment for constructing, simulating, ...
LADS
2007
Springer
13 years 11 months ago
2007
Springer
Despite the acceptance of FIPA-ACL as a standard for agent communications, there exist a gap between its specification and infrastructures to support interactions among agents. The...