Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Ergebnis 17 von 33
Lecture notes in computer science, 2003, Vol.2651, p.58-78
2003

Details

Autor(en) / Beteiligte
Titel
Composing Specifications Using Communication
Ist Teil von
  • Lecture notes in computer science, 2003, Vol.2651, p.58-78
Ort / Verlag
Germany: Springer Berlin / Heidelberg
Erscheinungsjahr
2003
Link zum Volltext
Quelle
Alma/SFX Local Collection
Beschreibungen/Notizen
  • This paper develops a case study using the process algebra CSP to enable controlled interaction between B machines. This illustrates how B machines are essential components within a combined communicating system. The development steps used to build the case study are new: they are applications of theoretical results which allow us to focus on the external interface of a combined communicating system, compositionally verify it, and show that it is a refinement of a more abstract specification described in CSP. This allows safety and liveness properties to be established for combinations of communicating B machines.
Sprache
Englisch
Identifikatoren
ISBN: 9783540402534, 3540402535
ISSN: 0302-9743
eISSN: 1611-3349
DOI: 10.1007/3-540-44880-2_5
Titel-ID: cdi_pascalfrancis_primary_15690596

Weiterführende Literatur

Empfehlungen zum selben Thema automatisch vorgeschlagen von bX