scientific article; zbMATH DE number 1543314

zbMath0960.68005MaRDI QIDQ4520784

Tudor Bălănescu, Marian Gheorghe, Cristina Vertan, Mike Holcombe, Horia Georgescu, Anthony J. Cowling

Publication date: 27 February 2001

Full work available at URL: http://www.jucs.org/jucs_5_9/communicating_stream_x_machines

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

stream \(X\)-machine model

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Related Items (7)

A unified integration and component testing approach from deterministic stream X-machine specifications ⋮ Testing conformance of a deterministic implementation against a non-deterministic stream X-machine ⋮ Testing against a non-controllable stream X-machine using state counting ⋮ Automata and processes on multisets of communicating objects ⋮ Testing data processing-oriented systems from stream X-machine models ⋮ Checking experiments for stream X-machines ⋮ Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine

This page was built for publication: