Skip to main content

1 Result(s)

within English Remove this filter Computation by Abstract Devices Remove this filter Alexander J. Summers Remove this filter Conference Paper Remove this filter

and
Your search also matched 2 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.

Viper: A Verification Infrastructure for Permission-Based Reasoning

Include preview-only content

  1. Chapter and Conference Paper

    Actor Services

    We present actor services: a novel program logic for defining and verifying response and functional properties of programs which communicate via asynchronous messaging. Actor services can specify how parts of ...

    Alexander J. Summers, Peter Müller in Programming Languages and Systems (2016)

    Download PDF (1002 KB) View Chapter