Axioms for Concurrent Processes.

Armin B. Cremers Thomas N. Hibbard

Published in: New Results and New Trends in Computer Science (1991)

Keyphrases

concurrent processes
petri net
concurrent programs
knowledge base
first order logic
data sets
databases
machine learning
information technology
software engineering
derived predicates