Model refinement using bisimulation quotients

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch

Erschienen in
In: Lecture Notes in Computer Science, 6486, S. 76-91

Ereignis
Veröffentlichung
(wo)
Augsburg, Berlin
(wer)
Universität Augsburg, Springer
(wann)
2011
Urheber
Glück, Roland
Möller, Bernhard
Sintzoff, Michel

DOI
10.1007/978-3-642-17796-5_5
URN
urn:nbn:de:bvb:384-opus4-587847
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:48 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

Entstanden

  • 2011

Ähnliche Objekte (12)

An Algebraic Approach to Systolic Circuits

An Algebraic Approach to Systolic Circuits

The Linear Algebra of UTP

The Linear Algebra of UTP

Ideal Stream Algebra

Ideal Stream Algebra

Deductive Hardware Design: A Functional Approach

Deductive Hardware Design: A Functional Approach

Knowledge and Games in Modal Semirings

Knowledge and Games in Modal Semirings

Lazy Kleene Algebra

Lazy Kleene Algebra

Omega Algebra, Demonic Refinement Algebra and Commands

Omega Algebra, Demonic Refinement Algebra and Commands

Ordered and continuous models of higher-order specifications

Ordered and continuous models of higher-order specifications

Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...

Monografie

Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...

Unendliche Objekte und Geflechte

Hochschulschrift

Unendliche Objekte und Geflechte

Omega algebra, demonic refinement algebra and commands

Omega algebra, demonic refinement algebra and commands

Derivation of graph and pointer algorithms

Derivation of graph and pointer algorithms

Verbundene Objekte