Semantic Analysis of a Concurrent Pascal


    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)


    Figures and Tables

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

    Slides referencing similar topics