Login / Signup
Sound Bisimulations for Higher-Order Distributed Process Calculus
Adrien Piérard
Eijiro Sumii
Published in:
CoRR (2010)
Keyphrases
</>
higher order
cooperative
distributed systems
artificial intelligence
computer networks
databases
data mining
information systems
relational databases
natural images
mobile agents
distributed environment
formal language