| Introduction to the ISO specification language LOTOS T Bolognesi, E Brinksma Computer Networks and ISDN systems 14 (1), 25-59, 1987 | 2348 | 1987 |
| From timed Petri nets to timed LOTOS T Bolognesi, F Lucidi, S Trigila Proceedings of the IFIP WG6. 1 Tenth International Symposium on Protocol …, 1990 | 136 | 1990 |
| Fundamental Results for the Verification of Observational Equivalence: A Survey. T Bolognesi, SA Smolka PSTV, 165-179, 1987 | 108 | 1987 |
| LOTOSphere: software development with LOTOS T Bolognesi, J Van de Lagemaat, C Vissers Springer Science & Business Media, 2012 | 100 | 2012 |
| LOTOS-like process algebras with urgent or timed interactions T Bolognesi, F Lucidi Formal Description Techniques, IV, 249-264, 1992 | 95 | 1992 |
| Automatic composition: Experiments with self-similar music T Bolognesi Computer Music Journal 7 (1), 25-36, 1983 | 60 | 1983 |
| Timed process algebras with urgent interactions and a unique powerful binary operator T Bolognesi, F Lucidi Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7 …, 1992 | 57 | 1992 |
| Squiggles-a tool for the analysis of LOTOS specifications T Bolognesi, M Caneve Proceedings of the First International Conference on Formal Description …, 1988 | 56 | 1988 |
| Converging towards a timed LOTOS standard T Bolognesi, F Lucidi, S Trigila Computer Standards & Interfaces 16 (2), 87-118, 1994 | 50 | 1994 |
| Techniques for the formal definition of the G-LOTOS syntax T Bolognesi, D Latella 1989 IEEE Workshop on Visual Languages, 43, 44, 45, 46, 47, 48, 49-43, 44 …, 1989 | 41 | 1989 |
| A graphical composition theorem for networks of LOTOS processes T Bolognesi Proceedings., 10th International Conference on Distributed Computing Systems …, 1990 | 37 | 1990 |
| Introduction to the ISO Specification Language LOTOS, The Formal Description Technique LOTOS T Bolognesi, E Brinksma The Formal Description Technique LOTOS, 23-73, 1989 | 35 | 1989 |
| Equivalence Verification: Theory, Algorithms, and a Tool T Bolognesi, M Caneve The Formal Description Technique LOTOS, 303-326, 1989 | 34 | 1989 |
| Remarks on turbo ASMs for functional equations and recursion schemes E Börger, T Bolognesi International Workshop on Abstract State Machines, 218-228, 2003 | 28 | 2003 |
| Causal Sets from simple models of computation T Bolognesi arXiv preprint arXiv:1004.3128, 2010 | 27 | 2010 |
| On the Analysis of Time-Dependent Protocols by Network Flow Algorithms Thomas J. Watson IBM Research Center. Research Division, T Bolognesi, ... | 24 | 1984 |
| Toward constraint-object-oriented development T Bolognesi IEEE Transactions on Software Engineering 26 (7), 594-616, 2000 | 21 | 2000 |
| Algorithmic causal sets for a computational spacetime T Bolognesi A Computable Universe: Understanding and Exploring Nature as Computation …, 2013 | 19 | 2013 |
| A consistent causality-based view on a timed process algebra including urgent interactions JP Katoen, R Langerak, E Brinksma, D Latella, T Bolognesi Formal methods in system design 12, 189-216, 1998 | 18 | 1998 |
| Planar Trinet Dynamics with Two Rewrite Rules Download PDF T Bolognesi Complex Systems 18 (1), 2008 | 17 | 2008 |
