Connecting open systems of communicating finite state machines
type: Item
instance of: scholarly article
title: Connecting open systems of communicating finite state machines
zbMATH Open document ID: 1435.68211
author: Franco Barbanera
author: Ugo de'Liguoro
author: Rolf Hennicker
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2019-11-28T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 7138312
zbMATH Keywords: communicating finite state machine
zbMATH Keywords: communicating system
zbMATH Keywords: composition of open systems
zbMATH Keywords: communication properties
zbMATH Keywords: global type with interface roles
describes a project that uses: MIO Workbench
MaRDI profile type: Publication
full work available at URL: j.jlamp.2019.07.004
OpenAlex ID: W2971918484
cites work: On Communicating Finite-State Machines
cites work: Verification of programs with half-duplex communication
cites work: Multiparty Session Types Meet Communicating Automata
cites work: From communicating machines to graphical choreographies
cites work: Decidable Topologies for Communicating Automata with FIFO and Bag Channels
cites work: Q4600773
cites work: A calculus of global interaction based on session types
cites work: On global types and multi-party sessions
cites work: Global progress for dynamically interleaved multiparty sessions
cites work: Q3191614
cites work: On the progress of communication between two finite state machines
cites work: Modal I/O Automata for Interface and Product Line Theories
cites work: Compatibility in a multi-component environment
cites work: On Weak Modal Compatibility, Refinement, and the MIO Workbench
cites work: Choreographies, logically
cites work: Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus
cites work: On the Undecidability of Asynchronous Session Subtyping
cites work: Channel Properties of Asynchronously Composed Petri Nets
DOI: 10.1016/J.JLAMP.2019.07.004
description: scientific article; zbMATH DE number 7138312