Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > CONCUR '94: Concurrency Theory: 5th International Conference Uppsala, Sweden, August 22–25, 1994 Proceedings

CONCUR '94: Concurrency Theory: 5th International Conference Uppsala, Sweden, August 22–25, 1994 Proceedings


Book Informaton

CONCUR '94: Concurrency Theory: 5th International Conference Uppsala, Sweden, August 22–25, 1994 Proceedings

Author

Jean-Yves Girard (auth.), Bengt Jonsson, Joachim Parrow (eds.)

Series

Lecture Notes in Computer Science 836

Year of Publication

1994

Publisher

Springer Berlin Heidelberg

Pages

528

Language

en

ISBN

0387583297, 9780387583297, 3540583287

ARI Id

1672180032978


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 4 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Citation Options
Download Citation

Showing 1 to 20 of 39 entries
Chapters/HeadingsAuthor(s)PagesInfo
Content:
Geometry of interaction (abstrac
A compositional semantics for statecharts using labeled transition syste
On the decidability of non-interleaving process equivalenc
Regularity of BPA-systems is decidab
A fast algorithm for deciding bisimilarity of normed context-free process
Model-based verification methods and tools (abstrac
New results on the analysis of concurrent systems with an indefinite number of process
Verification of nonregular temporal properties for context-free process
Pushdown processes: Parallel composition and model checki
Local model checking for parallel compositions of context-free process
The logical structure of concurrent constraint programming languag
Countable non-determinism and uncountable limi
SProc categorical
Prom timed graphs to hybrid automa
Hierarchical models of synchronous circui
The observational power of cloc
A dynamic approach to timed behavio
Algebras of processes of timed Petri ne
Operational semantics for the Petri Box Calcul
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 39 entries