scientific article; zbMATH DE number 1759732
From MaRDI portal
Publication:4536747
zbMath0988.68564MaRDI QIDQ4536747
Wojciech Penczek, Tomasz Karol Nowak, Stanisław Ambroszkiewicz
Publication date: 22 July 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Artificial intelligence (68T99) Distributed systems (68M14)
This page was built for publication:
