Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism
From MaRDI portal
Publication:1941894
DOI10.1007/s00165-011-0192-5zbMath1259.68133OpenAlexW2055495835MaRDI QIDQ1941894
Ragnhild Kobro Runde, Ketil Stølen, Atle Refsdal
Publication date: 22 March 2013
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/11250/2468314
Specification and verification (program logics, model checking, etc.) (68Q60) General theory of computer systems (68M01)
Related Items (2)
Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism ⋮ Stepwise refinement of sequence diagrams with soft real-time constraints
Cites Work
- Unnamed Item
- Unnamed Item
- Modelling concurrent interactions
- Defining liveness
- Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism
- Specification and Development of Interactive Systems
- Refinement Calculus
- LSCs: Breathing life into message sequence charts
This page was built for publication: Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism