scientific article
From MaRDI portal
Publication:3325068
zbMath0538.68063MaRDI QIDQ3325068
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
transition systemsrecognizabilityinfinitary languagesrational languagessemantics of processessynchronization of processesfair computationsbehaviors of processesbehaviour of synchronized systems of processesmultilanguagenets of processes
Related Items
Specification and verification of decentralized daisy chain arbiters with \(\omega\)-extended regular expressions, A branching time logic with past operators, Concurrent histories: a basis for observing distributed systems, A formal framework for distributed cyber-physical systems, Restrictions and representations of vector controlled concurrent system behaviours, Step failures semantics and a complete proof system
