Riccardo Mattolini

Publication Activity (10 Years)

Years Active: 1993-2001
Publications (10 Years): 0

Publications

Riccardo Mattolini, Paolo Nesi
An Interval Logic for Real-Time System Specification. IEEE Trans. Software Eng. 27 (3) (2001)
Riccardo Mattolini, Paolo Nesi
Using TILCO for Specifying Real-Time Systems. ICECCS (1996)
Giacomo Bucci, Riccardo Mattolini, Enrico Vicario
Automatic transition from rapid prototyping to target code for distributed systems. ISADS (1995)
Giacomo Bucci, Riccardo Mattolini, Enrico Vicario
Supporting Process Migration Through Communicating Petri Nets. PDP (1994)
Giacomo Bucci, Riccardo Mattolini, Enrico Vicario
A framework for the development of object-oriented distributed systems. ISADS (1993)
Giacomo Bucci, Riccardo Mattolini, Enrico Vicario
Using communicating Petri nets to implement parallel computation in single-tasking operating systems. PDP (1993)