A Formal Semantics for UML Interactions
- 1 January 1999
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 116-130
- https://doi.org/10.1007/3-540-46852-8_9
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- An Event-Based Structural Operational Semantics of Multi-threaded JavaPublished by Springer Science and Business Media LLC ,1999
- The UML as a formal modeling notationComputer Standards & Interfaces, 1998
- Systems, Views and Models of UMLPublished by Springer Science and Business Media LLC ,1998
- A Formal Approach to Object-Oriented Software EngineeringElectronic Notes in Theoretical Computer Science, 1996
- The Temporal Logic of Reactive and Concurrent SystemsPublished by Springer Science and Business Media LLC ,1992
- Modeling concurrency with partial ordersInternational Journal of Parallel Programming, 1986