The AltaRica Formalism for Describing Concurrent Systems.

André Arnold Gérald Point Alain Griffault Antoine Rauzy

Published in: Fundam. Informaticae (1999)

Keyphrases

concurrent systems
process algebra
transition systems
temporal logic
distributed systems
model checking
formal specification
petri net
data sets
neural network
artificial intelligence
formal model
probabilistic reasoning
logical framework
database
knowledge representation