( en | de | ru )

 

Disambiguation of "Bolognesi, Tommaso"

Author of the publication

copydeleteadd this publication to your clipboard
A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions.

, , , , and . Formal Methods Syst. Des., 12 (2): 189-216 (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Tommaso Cavallari

Tommaso Melodia

Tommaso Fedele

Tommaso Braccini

Tommaso Pirini

 

Other publications of authors with the same name

The electric power of LOTOS - Results of a joint academic/industrial experiment.. FORTE, volume C-10 of IFIP Transactions, page 431-446. North-Holland, (1992)What happens? On notions of event in formal methods and elsewhere.. OPODIS, volume 3 of Studia Informatica Universalis, page 1-3. Suger, Saint-Denis, rue Catulienne, France, (2002)On the Analysis of Time-Dependent Protocols by Network Flow Algorithms., and . PSTV, page 491-513. North-Holland, (1984)Constraint-oriented style for object-oriented formal specification., and . IEE Proc. Softw., 145 (2-3): 61-70 (1998)Timed Process Algebras with Urgent Interactions and a Unique Powerful Binary Operator., and . REX Workshop, volume 600 of Lecture Notes in Computer Science, page 124-148. Springer, (1991)Planar Trivalent Network Computation.. MCU, volume 4664 of Lecture Notes in Computer Science, page 146-157. Springer, (2007)Remarks on Turbo ASMs for Functional Equations and Recursion Schemes., and . Abstract State Machines, volume 2589 of Lecture Notes in Computer Science, page 218-228. Springer, (2003)G-LOTOS: A Graphical Language for Concurrent Systems., , and . Computer Networks and ISDN Systems, 26 (9): 1101-1127 (1994)Deriving Graphical Representations of Process Networks from Algebraic Expressions.. Inf. Process. Lett., 46 (6): 289-294 (1993)Introduction to the ISO Specification Language LOTOS., and . Comput. Networks, (1987)