scientific article
From MaRDI portal
Publication:2852061
zbMath1273.68246MaRDI QIDQ2852061
Frédéric Dabrowski, Roberto M. Amadio
Publication date: 7 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106003677
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
The SL synchronous language, revisited ⋮ Typing noninterference for reactive programs ⋮ Reactive Concurrent Programming Revisited
This page was built for publication:
