Documents Related by Co-Citation

22 A Denotational Model for Mobile Point-to-Point Data-flow Networks with Channel Sharing – Radu Grosu, Ketil Stølen, Manfred Broy - 1997
5 The Semantics of SPECTRUM – Radu Grosu, Franz Regensburger - 1994
10 A Formal Foundation for Concurrent Object Oriented Programming – Radu Grosu, Alle Rechte Vorbehalten, Radu Grosu - 1994
15 The Logical Framework of SPECTRUM – Radu Grosu , Franz Regensburger
17 Concurrent Timed Port Automata – Radu Grosu, Radu Grosu, Bernhard Rumpe, Bernhard Rumpe - 1995
29 A modular visual model for hybrid systems – Radu Grosu, Thomas Stauner, Manfred Broy - 1998
23 State Transition Diagrams – Radu Grosu, Cornel Klein, Bernhard Rumpe, Manfred Broy - 1996
9 Modular and Visual Specification of Hybrid Systems -- An Introduction to HyCharts – Radu Grosu, Thomas Stauner - 1998
6 Shared variable interaction diagrams – Rajeev Alur - 2001
5 Modeling the Dynamic Behavior of Objects on Events, Messages and Methods – Ruth Breu, Radu Grosu - 1998
4 Specification of mobile systems – R Grosu, K Stølen - 1996
11 Exemplary and Complete Object Interaction Descriptions – Ruth Breu, Radu Grosu, Christoph Hofmann, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Monika Schmidt, Wolfgang Schwerin - 1997
5 Focusing on Mobility – Klaus Bergner , Radu Grosu, Andreas Rausch, Alexander Schmidt, Peter Scholz, Manfred Broy
10 Automated refinement checking for asynchronous processes – Rajeev Alur, Radu Grosu, Bow-yaw Wang - 2000
5 Automated software engineering using concurrent class machines – Radu Grosu, Yanhong A. Liu, Scott Smolka, Scott D. Stoller, Jingyu Yan - 2001
5 Relating events, messages and methods of multiple threaded objects – R Breu, R Grosu
5 Visual Formalisms Revisited – R. Grosu, Gh. Stefanescu, M. Broy - 1998
5 The Specification Language SPECTRUM Core Language Report V1.0 – Radu Grosu, Dieter Nazareth, R. Grosu, D. Nazareth - 1994
4 Visual Description Of Hybrid Systems – Radu Grosu, Thomas Stauner - 1998