Seguir
Tommaso Bolognesi
Tommaso Bolognesi
Senior researcher, CNR/ISTI, Pisa
Dirección de correo verificada de isti.cnr.it - Página principal
Título
Citado por
Citado por
Año
Introduction to the ISO specification language LOTOS
T Bolognesi, E Brinksma
Computer Networks and ISDN systems 14 (1), 25-59, 1987
23061987
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
1351990
Fundamental Results for the Verification of Observational Equivalence: A Survey.
T Bolognesi, SA Smolka
PSTV, 165-179, 1987
1041987
LOTOSphere: software development with LOTOS
T Bolognesi, J Van de Lagemaat, C Vissers
Springer Science & Business Media, 2012
962012
LOTOS-like process algebras with urgent or timed interactions
T Bolognesi, F Lucidi
Formal Description Techniques, IV, 249-264, 1992
951992
Automatic composition: Experiments with self-similar music
T Bolognesi
Computer Music Journal 7 (1), 25-36, 1983
611983
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
571992
Squiggles-a tool for the analysis of LOTOS specifications
T Bolognesi, M Caneve
Proceedings of the First International Conference on Formal Description …, 1988
571988
Converging towards a timed LOTOS standard
T Bolognesi, F Lucidi, S Trigila
Computer Standards & Interfaces 16 (2), 87-118, 1994
511994
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
401989
A graphical composition theorem for networks of LOTOS processes
T Bolognesi
Proceedings., 10th International Conference on Distributed Computing Systems …, 1990
381990
Equivalence Verification: Theory, Algorithms, and a Tool
T Bolognesi, M Caneve
The formal description technique LOTOS, 303-326, 1989
361989
Introduction to the ISO Specification Language LOTOS, The Formal Description Technique LOTOS
T Bolognesi, E Brinksma
The Formal Description Technique LOTOS, 23-73, 1989
351989
Remarks on turbo ASMs for functional equations and recursion schemes
E Börger, T Bolognesi
International Workshop on Abstract State Machines, 218-228, 2003
282003
Causal sets from simple models of computation
T Bolognesi
arXiv preprint arXiv:1004.3128, 2010
252010
On the Analysis of Time-Dependent Protocols by Network Flow Algorithms
Thomas J. Watson IBM Research Center. Research Division, T Bolognesi, ...
251984
Algorithmic causal sets for a computational spacetime
T Bolognesi
World Scientific, 2013
182013
Toward constraint-object-oriented development
T Bolognesi
IEEE Transactions on Software Engineering 26 (7), 594-616, 2000
182000
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
181998
G-LOTOS: A graphical language for concurrent systems
T Bolognesi, E Najm, PAJ Tilanus
Computer Networks and ISDN Systems 26 (9), 1101-1127, 1994
181994
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20