scientific article; zbMATH DE number 1929967
From MaRDI portal
Publication:4708602
zbMath1014.68004MaRDI QIDQ4708602
No author found.
Publication date: 18 June 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2420/24200543.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Network design and communication in computer systems (68M10) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (8)
Unnamed Item ⋮ The inclusion structure of partially lossy queue monoids and their trace submonoids ⋮ On deciding synchronizability for asynchronously communicating systems ⋮ Rational, recognizable, and aperiodic partially lossy queue languages ⋮ The transformation monoid of a partially lossy queue ⋮ Unnamed Item ⋮ Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness ⋮ Automated formal analysis and verification: an overview
This page was built for publication:
