Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude.

Bogdan Aman Gabriel Ciobanu

Published in: VECoS (2017)

Keyphrases

distributed systems
cooperative
autonomous mobile
information systems
computer systems
complex systems
distributed object
databases
neural network
management system
intelligent systems
lightweight
computer networks
query rewriting