Information and Computation
Compositional Transformational Design for Concurrent Programs
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
From MSC-2000 to UML 2.0 - The Future of Sequence Diagrams
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
An event structure based semantics for high-level message sequence charts
Mathematical Structures in Computer Science
Towards weak sequencing for E-LOTOS
Computer Standards & Interfaces
A framework for pathologies of message sequence charts
Information and Software Technology
| Hi-index | 0.00 |