-
2
-
-
0023365727
-
STATECHARTS: A VISUAL FORMALISM FOR COMPLEX SYSTEMS.
-
DOI 10.1016/0167-6423(87)90035-9
-
Harel, D. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 1987, 8(3), pp. 231-274. (Pubitemid 17617706)
-
(1987)
Science of Computer Programming
, vol.8
, Issue.3
, pp. 231-274
-
-
Harel, D.1
-
3
-
-
0002521052
-
A Calculus of Mobile Process (Parts I and II)
-
Milner, R., Parrow, J. and Walker, D. A Calculus of Mobile Process (Parts I and II). Information and Computation, 1992, 100, pp. 1-77.
-
(1992)
Information and Computation
, vol.100
, pp. 1-77
-
-
Milner, R.1
Parrow, J.2
Walker, D.3
-
4
-
-
0000511698
-
The Polyadic π-Calculus: A Tutorial
-
Springer-Verlag
-
Milner, R. The Polyadic π-Calculus: A Tutorial. Logic and Algebra of Specification. Springer-Verlag, 1993, pp. 203-246.
-
(1993)
Logic and Algebra of Specification
, pp. 203-246
-
-
Milner, R.1
-
6
-
-
0010728871
-
An Introduction to the π-Calculus
-
Elsevier Science
-
Parrow, J. An Introduction to the π-Calculus. In: Handbook of Process Algebra. Elsevier Science, 2001, pp. 479-543.
-
(2001)
Handbook of Process Algebra
, pp. 479-543
-
-
Parrow, J.1
-
8
-
-
0346704528
-
A Theory of Bisimulation for the π-Calculus
-
Proceedings of CONCUR '93
-
Sangiorgi, D. A Theory of Bisimulation for the π-Calculus. In: Proceedings of CONCUR '93, LNCS 715, 1993, pp. 127-142.
-
(1993)
LNCS
, vol.715
, pp. 127-142
-
-
Sangiorgi, D.1
-
9
-
-
85006239926
-
The Mobility Workbench: A Tool for the π-Calculus
-
CAV '94
-
Victor, B. and Moller, F. The Mobility Workbench: A Tool for the π-Calculus. In: CAV '94, LNCS 818, 1994, pp. 428-440.
-
(1994)
LNCS
, vol.818
, pp. 428-440
-
-
Victor, B.1
Moller, F.2
-
10
-
-
4243538235
-
The π-Calculus: Notes on Labelled Semantics
-
Quaglia, P. The π-Calculus: Notes on Labelled Semantics. Bulletin of the EATCS, 1999, 68.
-
(1999)
Bulletin of the EATCS
, pp. 68
-
-
Quaglia, P.1
-
11
-
-
0024016415
-
On Visual Formalisms
-
Harel, D. On Visual Formalisms. Communications of the ACM, 1998, 31(5), pp. 514-530.
-
(1998)
Communications of the ACM
, vol.31
, Issue.5
, pp. 514-530
-
-
Harel, D.1
-
12
-
-
0030261971
-
The STATEMATE Semantics of Statecharts
-
Harel, D. and Naamad, A. The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology, 1996, 5(4), pp. 293-333. (Pubitemid 126422525)
-
(1996)
ACM Transactions on Software Engineering and Methodology
, vol.5
, Issue.4
, pp. 293-333
-
-
Harel, D.1
Naamad, A.2
-
13
-
-
78449244619
-
A Comparison of Statecharts Variants
-
Formal Techniques in Real-Time and Fault-Tolerant Systems
-
von der Beeck, M. A Comparison of Statecharts Variants. In: Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863, 1994, pp. 128-148.
-
(1994)
LNCS
, vol.863
, pp. 128-148
-
-
Von Der Beeck, M.1
-
14
-
-
84958790003
-
What is a Step: On the Semantics of Statecharts
-
TACS '91
-
Pnueli, A. and Shalev, M. What is a Step: On the Semantics of Statecharts. In: TACS '91, LNCS 526, 1991, pp. 244-264.
-
(1991)
LNCS
, vol.526
, pp. 244-264
-
-
Pnueli, A.1
Shalev, M.2
-
15
-
-
0034449675
-
A Compositional Approach to Statechart Semantics
-
ACM
-
Lüttgen, G., von der Beeck, M. and Cleaveland, R. A Compositional Approach to Statechart Semantics. In: Proceedings of ACM SIGSOFT Eight International Symposium on the Foundations of Software Engineering. ACM, 2000, pp. 120-129.
-
(2000)
Proceedings of ACM SIGSOFT Eight International Symposium on the Foundations of Software Engineering
, pp. 120-129
-
-
Lüttgen, G.1
Von Der Beeck, M.2
Cleaveland, R.3
-
16
-
-
84949483471
-
A Translation of Statecharts to Esterel
-
Proceedings of FM'99
-
Seshia, S.A., Shyamasundar, R.K., Bhattacharjee, A.K. and Dhodapkar, S.D. A Translation of Statecharts to Esterel. Proceedings of FM'99, LNCS 1709, 1999, pp. 983-1007.
-
(1999)
LNCS
, vol.1709
, pp. 983-1007
-
-
Seshia, S.A.1
Shyamasundar, R.K.2
Bhattacharjee, A.K.3
Dhodapkar, S.D.4
-
17
-
-
85010924232
-
Implementing Statecharts in Promela/SPIN
-
IEEE Computer Society
-
Mikk, E., Lakhech, Y. Siegel, M. and Holzmann, G. Implementing Statecharts in Promela/SPIN. In: Proceedings of 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques. IEEE Computer Society, 1999, pp. 90-101.
-
(1999)
Proceedings of 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques
, pp. 90-101
-
-
Mikk, E.1
Lakhech, Y.2
Siegel, M.3
Holzmann, G.4
-
19
-
-
0000381112
-
Automatic Verification of a Behavioural Subset of UML Statechart Diagrams using the SPIN Model-Checker
-
Latella, D., Majzik, I. and Massink, M. Automatic Verification of a Behavioural Subset of UML Statechart Diagrams using the SPIN Model-Checker. In: Formal Aspects of Computing, 1999, 11, pp. 637-664.
-
(1999)
Formal Aspects of Computing
, vol.11
, pp. 637-664
-
-
Latella, D.1
Majzik, I.2
Massink, M.3
-
20
-
-
84947758978
-
Formalising UML State Machines for Model Checking
-
UML'99
-
Lilius, J. and Paltor, I.P. Formalising UML State Machines for Model Checking. In: UML'99, LNCS 1723, 1999, pp. 430-445.
-
(1999)
LNCS
, vol.1723
, pp. 430-445
-
-
Lilius, J.1
Paltor, I.P.2
-
21
-
-
84945288192
-
Analyzing UML Active Classes and Associated State Machines - A Lightweight Formal Approach
-
FASE 2000
-
Reggio, G., Astesiano, E., Choppy, C. and Hussmann, H. Analyzing UML Active Classes and Associated State Machines - A Lightweight Formal Approach. In: FASE 2000, LNCS 1783, 2000, pp. 127-146.
-
(2000)
LNCS
, vol.1783
, pp. 127-146
-
-
Reggio, G.1
Astesiano, E.2
Choppy, C.3
Hussmann, H.4
-
22
-
-
84948994883
-
Formalization of UML-Statecharts
-
UML 2001
-
von der Beeck, M. Formalization of UML-Statecharts. In: UML 2001, LNCS 2185, 2001, pp. 406-421.
-
(2001)
LNCS
, vol.2185
, pp. 406-421
-
-
Von Der Beeck, M.1
-
23
-
-
84955559679
-
Equivalences of Statecharts
-
Proceedings of CONCUR '96
-
Maggiolo-Schettini, A., Peron, A. and Tini, S. Equivalences of Statecharts. In: Proceedings of CONCUR '96, LNCS 1119, 1996, pp. 687-702.
-
(1996)
LNCS
, vol.1119
, pp. 687-702
-
-
Maggiolo-Schettini, A.1
Peron, A.2
Tini, S.3
-
24
-
-
0033716675
-
Equivalence Checking of Two Statechart Specifications
-
Park, M.H., Bang, K.S., Choi, J.Y. and Kang, I. Equivalence Checking of Two Statechart Specifications. In: Proceedings of 11th International Workshop on Rapid System Prototyping, 2000, pp. 46-51.
-
Proceedings of 11th International Workshop on Rapid System Prototyping, 2000
, pp. 46-51
-
-
Park, M.H.1
Bang, K.S.2
Choi, J.Y.3
Kang, I.4
|