Skip to main content

3 Result(s)

within Paola Quaglia Remove this filter

and
Your search also matched 19 preview-only Content is preview-only when you or your institution have not yet subscribed to it.

By making our abstracts and previews universally accessible we help you purchase only the content that is relevant to you. results, e.g.

Quantitative Analysis of Services

Include preview-only content

  1. Chapter and Conference Paper

    Stochastic COWS

    A stochastic extension of COWS is presented. First the formalism is given an operational semantics leading to finitely branching transition systems. Then its syntax and semantics are enriched along the lines o...

    Davide Prandi, Paola Quaglia in Service-Oriented Computing – ICSOC 2007 (2007)

    Download PDF (526 KB)

  2. Chapter and Conference Paper

    On Synchronous and Asynchronous Mobile Processes

    This paper studies the relationship between synchronous and asynchronous mobile processes, in the setting of the π-calculus. A type system for processes of the asynchronous monadic subcalculus is introduced and u...

    Paola Quaglia, David Walker in Foundations of Software Science and Computation Structures (2000)

    Download PDF (499 KB)

  3. Chapter and Conference Paper

    A fully parallel calculus of synchronizing processes

    We propose a fully parallel calculus of synchronizing processes. The calculus was deeply inspired by LOTOS, of which it inherits multi-party synchronization in process parallel composition. On the other hand, its...

    Diego Latella, Paola Quaglia in TAPSOFT'93: Theory and Practice of Software Development (1993)

    Download PDF (679 KB)