Location automata for synchronised shuffle expressions

• Type: Article in International Scientific Journal
• Date: 2023

Authors

Broda, S (Author) FCUP; António Machiavelo (Author) FCUP; Nelma Moreira (Author) FCUP; Rogério Reis (Author) FCUP

Journal

Title: Journal of Logical and Algebraic Methods in Programming

Vol. 132

ISSN: 2352-2208

Publisher: Elsevier

Indexing

ISI Web of Knowledge - 3 Citations

Scopus - 2 Citations

Other information

Authenticus ID: P-00X-PHA

DOI: 10.1016/j.jlamp.2023.100847

Abstract (EN): Several notions of synchronisation in concurrent systems can be modelled by regular shuffle operators. In this paper we consider regular expressions extended with three operators corresponding respectively to strong, arbitrary, and weak synchronisation. For these expressions, we define a location based position automaton. Furthermore, we show that the partial derivative automaton is still a quotient of the position automaton.(c) 2023 The Author(s). Published by Elsevier Inc. This is an open access article under the CC BY-NC-ND license (http://creativecommons .org /licenses /by-nc -nd /4 .0/).

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 19