20126 search results - page 133 / 4026 » Timed Transition Systems |
117
Voted
FORTE
2001
15 years 4 months ago
2001
The modal logic FULL is designed to capture strong bisimulation over early symbolic transition systems (STSs) for full LOTOS. It provides a compact way of expressing and verifying ...
113
click to vote
ACSD
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. Operating guidelines characterize correct interaction (e.g. deadlock freedom) with a service. They can be stored in a service registry. So far, they have been represented...
106
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— In this paper we illustrate how sensitivities can be used to provide a practical precursor to dynamic transitions and numerical uncertainty in parameterized nonlinear parabolic...
109
Voted
STACS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We show that for infinite transition systems induced by cryptographic protocols in the Rusinowitch/Turuani style certain fundamental branching properties are decidable. ...
AMAST
2004
Springer
15 years 8 months ago
2004
Springer
We present a logic for reasoning about LOTOS behaviours which allows properties involving repeated patterns over actions and data to be expressed. The semantics of the logic is giv...