Logo eprints

Items where Author is "Corradini, Flavio"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type | Date | No Grouping
Jump to: Co | De | La
Number of items: 21.

Co

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)

De

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)

La

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 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)

This list was generated on Fri Mar 29 00:22:19 2024 CET.