397 search results - page 10 / 80 » Coalgebraic Models for Reactive Systems |
CONCUR
2001
Springer
14 years 1 months ago
2001
Springer
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
FTRTFT
2000
Springer
14 years 10 days ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
FAABS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
ICCS
2007
Springer
14 years 2 months ago
2007
Springer
Observing systems facilitate scientific studies by instrumenting the real world and collecting corresponding measurements, with the aim of detecting and tracking phenomena of inte...
FMCO
2003
Springer
14 years 1 months ago
2003
Springer
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...