Login / Signup
Modeling concurrent systems specified in a temporal concurrent constraint language-I.
Moreno Falaschi
Alberto Policriti
Alicia Villanueva
Published in:
APPIA-GULP-PRODE (2001)
Keyphrases
</>
concurrent systems
constraint language
modeling language
temporal logic
distributed systems
temporal aspects
model checking
temporal information
database
transition systems
linear temporal logic
constraint networks
formal specification
petri net
object oriented
optimal solution
high level