Semantic Analysis of a Concurrent Pascal

    Abstract

    In this article we present a true-concurrent operational semantics of a Pascal-like language with a parallel operator and shared memory. This semantics is based on a higher-dimensional transition system that can model the asynchronous execution of concurrent operations. We show how it can be usefully abstracted to nite automata via abstract interpretation… (More)

    Topics

    Figures and Tables

    Sorry, we couldn't extract any figures or tables for this paper.

    Slides referencing similar topics