575 search results - page 27 / 115 » A Calculus for Interaction Nets |
APN
2003
Springer
14 years 2 months ago
2003
Springer
CPN Tools is a tool for editing, simulating and analysing Coloured Petri Nets. The GUI is based on advanced interaction techniques, such as toolglasses, marking menus, and bi-manua...
KR
2004
Springer
14 years 2 months ago
2004
Springer
The Fluent Calculus has largely been focused on building agents that work individually. However, agents often need to interact with each other to learn more about their environmen...
CMSB
2004
Springer
14 years 2 months ago
2004
Springer
A refinement of Cardelli’s brane calculus [1] is introduced where membrane actions are directed. This modification brings the language closer to biological membranes and also o...
PERCOM
2007
ACM
14 years 8 months ago
2007
ACM
When people interact, they follow distinct rules that coordinate the order of speech, who opens doors, whom and how to greet, and many things more. Such a social codex depends on ...
LBM
2007
13 years 10 months ago
2007
Background: Clinical protocols and guidelines have been considered as a major means to ensure that cost-effective services are provided at the point of care. Recently, the comput...