Tommaso Bolognesi
Tommaso Bolognesi
Senior researcher, CNR/ISTI, Pisa
Потвърден имейл адрес: isti.cnr.it - Начална страница
Заглавие
Позовавания
Позовавания
Година
Introduction to the ISO specification language LOTOS
T Bolognesi, E Brinksma
Computer Networks and ISDN systems 14 (1), 25-59, 1987
21831987
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
1121990
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
861992
Automatic composition: Experiments with self-similar music
T Bolognesi
Computer Music Journal 7 (1), 25-36, 1983
531983
Timed process algebras with urgent interactions and a unique powerful binary operator
T Bolognesi, F Lucidi
Workshop/School/Symposium of the REX Project (Research and Education in …, 1991
491991
Squiggles-a tool for the analysis of LOTOS specifications
T Bolognesi, M Caneve
Proceedings of the First International Conference on Formal Description …, 1988
431988
Converging towards a timed LOTOS standard
T Bolognesi, F Lucidi, S Trigila
Computer Standards & Interfaces 16 (2), 87-118, 1994
421994
A graphical composition theorem for networks of LOTOS processes
T Bolognesi
Proceedings., 10th International Conference on Distributed Computing Systems …, 1990
391990
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
381989
Equivalence Verification: Theory, Algorithms, and a Tool
T Bolognesi, M Caneve
The formal description technique LOTOS, 303-326, 1989
291989
Remarks on turbo ASMs for functional equations and recursion schemes
E Börger, T Bolognesi
International Workshop on Abstract State Machines, 218-228, 2003
252003
On the Analysis of Time-Dependent Protocols by Network Flow Algorithms
Thomas J. Watson IBM Research Center. Research Division, T Bolognesi, ...
251984
Causal sets from simple models of computation
T Bolognesi
arXiv preprint arXiv:1004.3128, 2010
202010
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 (2), 189-216, 1998
161998
G-LOTOS: a graphical language for concurrent systems
T Bolognesi, E Najm, PAJ Tilanus
Computer Networks and ISDN Systems 26 (9), 1101-1127, 1994
161994
Planar trinet dynamics with two rewrite rules
T Bolognesi
Complex Systems 18 (1), 1, 2008
152008
Correctness Preserving Transformations for the early phases of software development
T Bolognesi, D De Frutos, R Langerak, D Latella
LOTOSphere: Software Development with LOTOS, 161-180, 1995
141995
Abstract state processes
T Bolognesi, E Börger
International Workshop on Abstract State Machines, 22-32, 2003
132003
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20