Flavio Corradini

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Marco Bernardo 0001

> Home > Persons > Flavio Corradini

Publications

2016
[j47]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BernardoCT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BernardoCT16
Marco Bernardo, Flavio Corradini, Luca Tesei:
Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions. Theor. Comput. Sci. 629: 2-39 (2016)
2014
[c80]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ictcs/BernardoCT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictcs/BernardoCT14
Marco Bernardo, Flavio Corradini, Luca Tesei:
Timed process calculi: from durationless actions to durational ones. ICTCS 2014: 21-32
2010
[b1]
- view
  authority control:
- export record
  dblp key:
  - books/daglib/0024016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0024016
Alessandro Aldini, Marco Bernardo, Flavio Corradini:
A Process Algebraic Approach to Software Architecture Design. Springer 2010, ISBN 978-1-84800-222-7, pp. I-XV, 1-304
2004
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/2004
Marco Bernardo, Flavio Corradini:
Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures. Lecture Notes in Computer Science 3185, Springer 2004, ISBN 3-540-23068-8 [contents]

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.