Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making

DOI10.1007/B103476zbMath1115.68459OpenAlexW2506046183MaRDI QIDQ5463960

Vijay Saraswat

Publication date: 17 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b103476

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios ⋮ Compiling OR-parallelism into AND-parallelism

This page was built for publication: Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making