|
Volumn 194, Issue 2, 2008, Pages 85-99
|
Matching Systems for Concurrent Calculi
|
Author keywords
CCS; Matching systems; Mobile Ambients; pi calculus
|
Indexed keywords
COMPUTER CONTROL SYSTEMS;
CONCURRENCY CONTROL;
SOFTWARE AGENTS;
MATCHING SYSTEMS;
POLYADIC SYNCHRONISATION;
COMPUTATION THEORY;
|
EID: 38149040068
PISSN: 15710661
EISSN: None
Source Type: Journal
DOI: 10.1016/j.entcs.2007.11.004 Document Type: Article |
Times cited : (10)
|
References (14)
|