Affordable Access

Publisher Website

A model for recursive-parallel programs

Authors
Publisher
Elsevier B.V.
Publication Date
Volume
5
Identifiers
DOI: 10.1016/s1571-0661(05)82512-5

Abstract

Abstract We define a formal model for a class of recursive-parallel systems with specific invocation and synchronization primitives. This original model is infinite-state but can still be analyzed successfully using the “well-structured transition systems” approach.

There are no comments yet on this publication. Be the first to share your thoughts.