## CONCUR '94, Concurrency Theory: 5th International Conference, Uppsala, Sweden, August 22-25, 1994 : ProceedingsBengt Jonsson, Joachim Parrow "This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR '94, held at Uppsala, Sweden in August 1994. In total, 29 refereed research papers selected from 108 submissions for the conference are presented together with full papers or abstracts of the 5 invited talks by prominent speakers. The book contains recent results on all relevant aspects of concurrency research and thus competently documents the progress of the field since the predecessor conference CONCUR '93, the proceedings of which are published as LNCS 715"--PUBLISHER'S WEBSITE. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

A compositional semantics for statecharts using labeled transition systems | 2 |

Uselton and S A Smolka | 17 |

Regularity of BPAsystems is decidable | 34 |

Copyright | |

31 other sections not shown

### Other editions - View all

CONCUR '94: Concurrency Theory: 5th International Conference, Uppsala ... Bengt Jonsson,Joachim Parrow No preview available - 2014 |

### Common terms and phrases

abstract action systems algorithm Baeten basic behavior bisimilarity bisimulation bisimulation equivalence boolean calculus choice clock component Computer Science condition consider construction context-free processes corresponding countable counter machine cw-pomset deadlock defined Definition denotational semantics denote equations equivalence relation example execution expressions extended finite formula function given graph I/O automata implies induction infinitary GSOS system infinite initial input k-clock labeled transition systems language Lemma LNCS mapping model checking multiset names node normed notion operational semantics paper parallel composition PCTL Petri nets predicate preorder probabilistic automaton probabilistic I/O problem process algebra processors proof properties Proposition pushdown processes reachability recursive refinement restriction result rules satisfies sequence sequential composition simulation specification Springer-Verlag statecharts step structure subset synchronizer T-calculus techniques temporal logic term deduction system tests Theorem theory transition relation user processes variables verification Write-All