search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

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