scientific article; zbMATH DE number 2084713
From MaRDI portal
zbMath1067.68662MaRDI QIDQ4475640
Catuscia Palamidessi, Frank D. Valencia
Publication date: 9 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2239/22390302.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items
Timed soft concurrent constraint programs: An interleaved and a parallel approach, A survey of constraint-based programming paradigms, TCC, with History, Decidability of infinite-state timed CCP processes and first-order LTL, Open Bisimulation for the Concurrent Constraint Pi-Calculus, Timed Term Rewrite Systems
Uses Software
