IEEE - Institute of Electrical and Electronics Engineers, Inc. - Parametrised Compositional Verification with Multiple Process and Data Types

2013 13th International Conference on Application of Concurrency to System Design (ACSD 2013)

Author(s): Antti Siirtola ; Keijo Heljanko
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 July 2013
Conference Location: Barcelona, Spain
Conference Date: 8 July 2013
Page(s): 60 - 69
ISBN (Electronic): 978-0-7695-5035-0
ISSN (Electronic): 1550-4808
DOI: 10.1109/ACSD.2013.9
Regular:

We present an LTS-based (Labelled Transition System) CSP-like (Communicating Sequential Processes) formalism for expressing parametrised systems. The parameters are process types, which determine... View More

Advertisement