scientific article; zbMATH DE number 1864593
From MaRDI portal
Publication:4791271
zbMath1006.68532MaRDI QIDQ4791271
Michaela Huhn, S. Zennou, Peter Niebert, Denis Lugiez
Publication date: 6 February 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2154/21540396.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) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (2)
A Nice labelling for tree-like event structures of degree 3 ⋮ A partial order semantics approach to the clock explosion problem of timed automata
This page was built for publication:
