Items where Author is "Corradini, Flavio"

Corradini, Flavio and De Nicola, Rocco and Labella, Anna An Equational Axiomatization of Bisimulation over Regular Expressions. Journal of Logic and Computation, 12 (2). pp. 301-320. ISSN 0955-792X (2002)

Corradini, Flavio and De Nicola, Rocco and Labella, Anna Graded Modalities and Resource Bisimulation. In: FSTTCS. Lecture Notes in Computer Science, 1738 . Springer, pp. 381-393. ISBN 3-540-66836-5 (1999)

Corradini, Flavio and De Nicola, Rocco and Labella, Anna Models of Nondeterministic Regular Expressions. Journal of Computer and System Sciences, 59 (3). pp. 412-449. ISSN 0022-0000 (1999)

Corradini, Flavio and De Nicola, Rocco and Labella, Anna A finite axiomatization of nondeterministic regular expressions. RAIRO - Theoretical Informatics and Applications, 33 (4/5). pp. 447-466. (1999)

Corradini, Flavio and De Nicola, Rocco Locality Based Semantics for Process Algebras. Acta Informatica, 34 (4). pp. 291-324. ISSN 0001-5903 (1997)

Corradini, Flavio and De Nicola, Rocco On Four Partial Ordering Semantics for a Process Calculus. Fundamenta Informaticae, 27 (4). pp. 349-383. ISSN 1875-8681 (1996)

Corradini, Flavio and De Nicola, Rocco and Labella, Anna Fully Abstract Models for Nondeterministic Regular Expressions. In: CONCUR '95: Concurrency Theory. Lecture Notes in Computer Science, 962 . Springer, pp. 130-144. ISBN 3-540-60218-6 (1995)

Corradini, Flavio and De Nicola, Rocco Distribution and Locality of Concurrent Systems. In: Automata, Languages and Programming (ICALP 1994). Lecture Notes in Computer Science, 820 . Springer, pp. 154-165. ISBN 3-540-58201-0 (1994)