A livelock freedom analysis for infinite state asynchronous reactive systems
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: CONCUR 2006 – Concurrency Theory / Baier, Christel; Hermanns, Holger (Hrsg.). - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - (Lecture Notes in Computer Science ; 4137). - S. 79-94. - ISBN 978-3-540-37376-6
- Klassifikation
-
Wirtschaft
- Ereignis
-
Veröffentlichung
- (wo)
-
Konstanz
- (wer)
-
Bibliothek der Universität Konstanz
- (wann)
-
2013
- Urheber
- URN
-
urn:nbn:de:bsz:352-215507
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:55 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Leue, Stefan
- Ştefănescu, Alin
- Wei, Wei
- Bibliothek der Universität Konstanz
Entstanden
- 2013
Ähnliche Objekte (12)
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems
Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems
Integer linear programming-based property checking for asynchronous reactive systems
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
QoS Specification Based on SDL/MSC and Temporal Logic
Methods and semantics for telecommunications systems engineering
Dependency analysis for control flow cycles in reactive communicating processes
Automated Freedom from Interference Analysis for Automotive Software
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
Comments on a Proposed Semantics for Basic Message Sequence Charts
Syntactic Detection of Process Divergence and non-Local Choice in Message Sequence Charts
Counterexamples for Model Checking of Markov Decision Processes
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems
Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems
Integer linear programming-based property checking for asynchronous reactive systems
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
QoS Specification Based on SDL/MSC and Temporal Logic
Methods and semantics for telecommunications systems engineering
Dependency analysis for control flow cycles in reactive communicating processes
Automated Freedom from Interference Analysis for Automotive Software
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
Comments on a Proposed Semantics for Basic Message Sequence Charts
Syntactic Detection of Process Divergence and non-Local Choice in Message Sequence Charts
Counterexamples for Model Checking of Markov Decision Processes
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems
Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems
Integer linear programming-based property checking for asynchronous reactive systems
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
QoS Specification Based on SDL/MSC and Temporal Logic
Methods and semantics for telecommunications systems engineering
Dependency analysis for control flow cycles in reactive communicating processes
Automated Freedom from Interference Analysis for Automotive Software
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
Comments on a Proposed Semantics for Basic Message Sequence Charts
Syntactic Detection of Process Divergence and non-Local Choice in Message Sequence Charts