scientific article; zbMATH DE number 1361120

zbMath0940.68029MaRDI QIDQ4270054

Paul C. Attie

Publication date: 10 November 1999

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

zbMATH Keywords

concurrent programs

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Finite-state concurrent programs can be expressed in pairwise normal form

This page was built for publication: