Login / Signup
Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules.
Eric Y. T. Juan
Jeffrey J. P. Tsai
Tadao Murata
Published in:
ACM Trans. Program. Lang. Syst. (1998)
Keyphrases
</>
concurrent systems
distributed systems
process algebra
temporal logic
model checking
formal specification
transition systems
petri net
association rules
decision rules
rule sets
production rules
particle filtering
kalman filtering
genetic algorithm
particle filter
decision trees
information systems
neural network