ATP: an Algebra for Timed Processes.

Xavier Nicollin Jean-Luc Richier Joseph Sifakis Jacques Voiron

Published in: Programming Concepts and Methods (1990)

Keyphrases

petri net
theorem prover
process model
e learning
data model
query language
object oriented databases
relational algebra
algebraic expressions
knowledge base
bayesian networks
business processes
computational models
automated theorem proving
boolean algebra