Deterministic Concurrent Systems.

Published in: Petri Nets (2021)

Keyphrases

concurrent systems
temporal logic
distributed systems
petri net
process algebra
transition systems
formal specification
model checking
databases
database
data sets
neural network
machine learning
artificial intelligence
social networks
business processes