Skip to main content

1 Result(s)

within English Remove this filter Mathematics Remove this filter Algorithm Analysis and Problem Complexity Remove this filter Logics and Meanings of Programs Remove this filter Vladimiro Sassone Remove this filter Chapter Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Deterministic behavioural models for concurrency

    This paper offers three candidates for a deterministic, noninterleaving, behaviour model which generalizes Hoare traces to the noninterleaving situation. The three models are all proved equivalent in the rathe...

    Vladimiro Sassone, Mogens Nielsen… in Mathematical Foundations of Computer Scien… (1993)