scientific article; zbMATH DE number 5043339

zbMath1095.68061MaRDI QIDQ5480652

C. A. Middelburg, Jan A. Bergstra

Publication date: 3 August 2006

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

zbMATH Keywords

networkprocess algebraserviceexception handlingmulti-threadhostthread algebrastrategic interleavingdelayed processingformal design prototypethread-service composition

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (7)

Thread algebra for strategic interleaving ⋮ Synchronous cooperation for explicit multi-threading ⋮ Program algebra with a jump-shift instruction ⋮ Simulating Turing machines on Maurer machines ⋮ Splitting bisimulations and retrospective conditions ⋮ A thread calculus with molecular dynamics ⋮ Machine structure oriented control code logic

This page was built for publication: