Location automata for synchronised shuffle expressions

• Tipo: Artigo em Revista Científica Internacional
• Data: 2023

Autores

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

Revista

Título: Journal of Logical and Algebraic Methods in Programming

Vol. 132

ISSN: 2352-2208

Editora: Elsevier

Indexação

ISI Web of Knowledge - 3 Citações

Scopus - 2 Citações

Outras Informações

ID Authenticus: 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/).

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 19