scientific article
From MaRDI portal
Publication:3504343
zbMath1137.68447MaRDI QIDQ3504343
Blaise Genest, Anca Muscholl, Dietrich Kuske
Publication date: 11 June 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (13)
Realizability of concurrent recursive programs ⋮ Unnamed Item ⋮ Guessing the Buffer Bound for k-Synchronizability ⋮ Multiparty half-duplex systems and synchronous communications ⋮ On the \(k\)-synchronizability of systems ⋮ Unnamed Item ⋮ Quasi-static scheduling of communicating tasks ⋮ Unnamed Item ⋮ A Sound Algorithm for Asynchronous Session Subtyping ⋮ Verification of Flat FIFO Systems ⋮ Fair refinement for asynchronous session types ⋮ Unnamed Item ⋮ Guessing the buffer bound for k-synchronizability
This page was built for publication:
