scientific article
From MaRDI portal
Publication:3043825
zbMath1073.68590MaRDI QIDQ3043825
Publication date: 6 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2244/22440225.htm
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)
Securing interaction between threads and the scheduler in the presence of synchronization ⋮ Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis ⋮ Secured Information Flow for Asynchronous Sequential Processes
This page was built for publication:
