Login / Signup
Analysis and verification of message sequence charts of distributed systems with the help of coloured Petri nets.
Sergey A. Chernenok
Valery A. Nepomniaschy
Published in:
Autom. Control. Comput. Sci. (2015)
Keyphrases
</>
distributed systems
real time systems
geographically distributed
concurrent systems
coloured petri nets
message passing
load balancing
real time
operating system
databases
wireless networks
fault tolerance
distributed computing
loosely coupled