共 50 条
- [31] A compositional semantics for the reversible π-calculus 2013 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2013, : 388 - 397
- [32] Compositional specification of behavioral semantics 2007 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, VOLS 1-3, 2007, : 906 - +
- [33] A compositional trace semantics for Orc COORDINATION MODELS AND LANGUAGES, PROCEEDINGS, 2008, 5052 : 331 - 346
- [34] Compositional Semantics. An Introduction to the Syntax/Semantics Interface EPISTEMOLOGY & PHILOSOPHY OF SCIENCE-EPISTEMOLOGIYA I FILOSOFIYA NAUKI, 2015, 46 (04): : 238 - 244
- [36] Compositional semantics for UML 2.0 sequence diagrams using Petri nets SDL 2005: MODEL DRIVEN, PROCEEDINGS, 2005, 3530 : 133 - 148
- [37] Compositional semantics of an actor-based language using constraint automata COORDINATION MODELS AND LANGUAGES, PROCEEDINGS, 2006, 4038 : 281 - 297