Views on Behaviour Protocols and Their Semantic Foundation

DOI10.1007/978-3-642-03741-2_25zbMath1239.68023OpenAlexW2158744698MaRDI QIDQ2888499

Rolf Hennicker, Sebastian S. Bauer

Publication date: 1 June 2012

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03741-2_25

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Network protocols (68M12) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Towards an Institutional Framework for Heterogeneous Formal Development in UML

Uses Software

• Eiffel

Cites Work

• Reconciling statechart semantics
• Toward formal development of programs from algebraic specifications: Implementations revisited
• Notions of bisimulation and congruence formats for SOS with data
• An Algebraic Semantics for Contract-Based Software Components
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Views on Behaviour Protocols and Their Semantic Foundation