The Algebra of Timed Processes, ATP: Theory and Application

Xavier Nicollin Joseph Sifakis

Published in: Inf. Comput. (1994)

Keyphrases

theoretical basis
real world
computational models
database
search engine
software engineering
decision support
expressive power
algebraic geometry