G-LOTOS: a graphical language for concurrent systems

Statecharts: a visual formalism for complex systems

David Harel · Science of Computer Programming · 1987 · 6.7K citations

Engineering, Systems Engineering, Complex Systems +10

Introduction to the ISO specification language LOTOS

Tommaso Bolognesi, Ed Brinksma · Computer Networks and ISDN Systems · 1987 · 1.3K citations · Full text

Computing, Computer Science, Formal Methods +5

Visual Languages: A Tutorial and Survey

Shi-Kuo Chang · IEEE Software · 1987 · 177 citations

Computing, Visualization, Visual Design +9

An introduction to LOTOS: learning by examples

Luigi Logrippo, Mohammed Faci, Mazen Haj-Hussein · Computer Networks and ISDN Systems · 1992 · 100 citations

Computing, Computer Science, Machine Learning +1

Techniques for the formal definition of the G-LOTOS syntax

Tommaso Bolognesi, Diego Latella · 2003 · 28 citations

Computing, Computer Science, Formal Methods +11