Login / Signup
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