Perspectives of System Informatics
From MaRDI portal
Publication:5902415
DOI10.1007/b94823zbMath1254.68087OpenAlexW4234004114MaRDI QIDQ5902415
Publication date: 5 January 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b94823
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 (4)
Securing the Future — An Information Flow Analysis of a Distributed OO Language ⋮ Formalizing Probabilistic Noninterference ⋮ Game-theoretic simulation checking tool ⋮ Towards SOS Meta-Theory for Language-Based Security
This page was built for publication: Perspectives of System Informatics
