Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
research-article
Open access

Shallow Linear Action Graphs and their Embeddings

Published: 01 July 2002 Publication History

Abstract.

Action calculi, which generalise process calculi such as Petri nets, π-calculusand ambient calculus, have been presented in terms of action graphs. We here offer linear action graphs as a primitive basis for action calculi. This paper presents the category of embeddings of undirected linear action graphs without nesting, using a novel form of graphical reasoning which simplifies some otherwise complex manipulations in regular algebra. The results are adapted in a few lines to directed graphs. This work is part of a long-term search for a uniform behavioural theory for process calculi.

Index Terms

  1. Shallow Linear Action Graphs and their Embeddings
          Index terms have been assigned to the content through auto-classification.

          Recommendations

          Comments

          Information & Contributors

          Information

          Published In

          cover image Formal Aspects of Computing
          Formal Aspects of Computing  Volume 13, Issue 3-5
          Jul 2002
          243 pages
          ISSN:0934-5043
          EISSN:1433-299X
          Issue’s Table of Contents

          Publisher

          Springer-Verlag

          Berlin, Heidelberg

          Publication History

          Published: 01 July 2002
          Published in FAC Volume 13, Issue 3-5

          Author Tag

          1. Keywords: Action calculus; Graph embedding; Process calculus

          Qualifiers

          • Research-article

          Contributors

          Other Metrics

          Bibliometrics & Citations

          Bibliometrics

          Article Metrics

          • 0
            Total Citations
          • 55
            Total Downloads
          • Downloads (Last 12 months)44
          • Downloads (Last 6 weeks)13
          Reflects downloads up to 26 Jan 2025

          Other Metrics

          Citations

          View Options

          View options

          PDF

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader

          Login options

          Full Access

          Figures

          Tables

          Media

          Share

          Share

          Share this Publication link

          Share on social media