Quantitative Modal Transition Systems (English)
Free access
(Invited Extended Abstract)
- New search for: Larsen, Kim G.
- New search for: Legay, Axel
- New search for: Larsen, Kim G.
- New search for: Legay, Axel
In:
Recent Trends in Algebraic Development Techniques
;
50-58
;
2013
- Article/Chapter (Book) / Electronic Resource
-
Title:Quantitative Modal Transition Systems
-
Subtitle:(Invited Extended Abstract)
-
Contributors:Larsen, Kim G. ( author ) / Legay, Axel ( author )
-
Published in:Lecture Notes in Computer Science ; 7841 ; 50-58
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2013-01-01
-
Size:9 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Open Multiparty InteractionBodei, Chiara / Brodo, Linda / Bruni, Roberto et al. | 2013
- 24
-
Behaviour Protection in Modular Rule-Based System SpecificationsDurán, Francisco / Orejas, Fernando / Zschaler, Steffen et al. | 2013
- 50
-
Quantitative Modal Transition SystemsLarsen, Kim G. / Legay, Axel et al. | 2013
- 59
-
Bounded Model Checking of Recursive Programs with Pointers in KAsăvoae, Irina Măriuca / Boer, Frank / Bonsangue, Marcello M. / Lucanu, Dorel / Rot, Jurriaan et al. | 2013
- 77
-
A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud ComputingBentea, Lucian / Ölveczky, Peter Csaba et al. | 2013
- 95
-
Adaptable Transition SystemsBruni, Roberto / Corradini, Andrea / Gadducci, Fabio / Lluch Lafuente, Alberto / Vandin, Andrea et al. | 2013
- 111
-
Compiling LogicsCodescu, Mihai / Horozal, Fulya / Jakubauskas, Aivaras / Mossakowski, Till / Rabe, Florian et al. | 2013
- 127
-
Transformation Systems with Incremental Negative Application ConditionsCorradini, Andrea / Heckel, Reiko / Hermann, Frank / Gottmann, Susann / Nachtigall, Nico et al. | 2013
- 143
-
Statistical Model Checking for Composite Actor SystemsEckhardt, Jonas / Mühlbauer, Tobias / Meseguer, José / Wirsing, Martin et al. | 2013
- 161
-
Barbed Semantics for Open Reactive SystemsGadducci, Fabio / Monreale, Giacoma Valentina et al. | 2013
- 178
-
Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using CaslJames, Phillip / Knapp, Alexander / Mossakowski, Till / Roggenbach, Markus et al. | 2013
- 195
-
Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General LogicsLópez Pombo, Carlos Gustavo / Castro, Pablo F. / Aguirre, Nazareno M. / Maibaum, Thomas S. E. et al. | 2013
- 212
-
Semantics of the Distributed Ontology Language: Institutes and InstitutionsMossakowski, Till / Kutz, Oliver / Lange, Christoph et al. | 2013
- 231
-
Formal Specification of the Kademlia and the Kad Routing Tables in MaudePita, Isabel / Fernández-Camacho, María-Inés et al. | 2013
- 248
-
A Generic Program Slicing Technique Based on Language DefinitionsRiesco, Adrián / Asăvoae, Irina Măriuca / Asăvoae, Mihail et al. | 2013
- 265
-
Distances between Processes: A Pure Algebraic ApproachRomero Hernández, David / Frutos Escrig, David et al. | 2013