Modelling and validating broadcasting-free concurrent systems.

Stanislaw Budkowski

Published in: Fehlertolerierende Rechensysteme (1984)

Keyphrases

concurrent systems
temporal logic
distributed systems
process algebra
model checking
petri net
formal specification
transition systems
data sets
digital video
neural network
artificial intelligence
multimedia
website