Author of the publication

Decomposability, Decidability and Axiomatisability for Bisimulation Equivalence on Basic Parallel Processes

, , and . LICS, page 386-396. IEEE Computer Society, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Quantitative Temporal Logic., and . CSL, volume 1683 of Lecture Notes in Computer Science, page 172-187. Springer, (1999)Safe Queries in Relational Databases with Functions.. CSL, volume 626 of Lecture Notes in Computer Science, page 173-183. Springer, (1991)On First Order Database Query Languages, and . LICS, page 226-231. IEEE Computer Society, (1991)A Framework for Decidable Metrical Logics., and . ICALP, volume 1644 of Lecture Notes in Computer Science, page 422-432. Springer, (1999)Expressiveness of Metric modalities for continuous time., and . Logical Methods in Computer Science, (2007)Petri Nets and the Equivalence Problem.. CSL, volume 832 of Lecture Notes in Computer Science, page 165-174. Springer, (1993)Discerning Causality in Interleaving Behavior., , and . Logic at Botik, volume 363 of Lecture Notes in Computer Science, page 146-162. Springer, (1989)Fields, Meadows and Abstract Data Types., , and . Pillars of Computer Science, volume 4800 of Lecture Notes in Computer Science, page 166-178. Springer, (2008)An Expressive Temporal Logic for Real Time., and . MFCS, volume 4162 of Lecture Notes in Computer Science, page 492-504. Springer, (2006)Decidability Results in Automata and Process Theory., and . Banff Higher Order Workshop, volume 1043 of Lecture Notes in Computer Science, page 102-148. Springer, (1995)