Följ
Tommaso Bolognesi
Tommaso Bolognesi
Senior researcher, CNR/ISTI, Pisa
Verifierad e-postadress på isti.cnr.it - Startsida
Titel
Citeras av
Citeras av
År
Introduction to the ISO specification language LOTOS
T Bolognesi, E Brinksma
Computer Networks and ISDN systems 14 (1), 25-59, 1987
23131987
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
1321990
Fundamental Results for the Verification of Observational Equivalence: A Survey.
T Bolognesi, SA Smolka
PSTV, 165-179, 1987
1021987
LOTOSphere: software development with LOTOS
T Bolognesi, J Van de Lagemaat, C Vissers
Springer Science & Business Media, 2012
982012
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
601983
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
581992
Squiggles-a tool for the analysis of LOTOS specifications
T Bolognesi, M Caneve
Proceedings of the First International Conference on Formal Description …, 1988
561988
Converging towards a timed LOTOS standard
T Bolognesi, F Lucidi, S Trigila
Computer Standards & Interfaces 16 (2), 87-118, 1994
501994
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
371990
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
Causal sets from simple models of computation
T Bolognesi
arXiv preprint arXiv:1004.3128, 2010
252010
Remarks on turbo ASMs for functional equations and recursion schemes
E Börger, T Bolognesi
International Workshop on Abstract State Machines, 218-228, 2003
242003
On the Analysis of Time-Dependent Protocols by Network Flow Algorithms
Thomas J. Watson IBM Research Center. Research Division, T Bolognesi, ...
241984
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20