FI MU Report Series

FI MU Reports by Author - J


Jean-Marie Jacquet

e-mail: jmj(a)info.fundp.ac.be

Publications in FI MU Report Series:


A Fully Abstract Semantics for a Version of Synchronous Concurrent Constraint Programming
by Jean-Marie Jacquet, Lubos Brim, David Gilbert, Mojmir Kretinsky, December 1999, 62 pages.
FIMU-RS-99-08. Abstract, Postscript, PDF.

Petr Jančar

e-mail: jancar(a)osu.cz

Publications in FI MU Report Series:


MFCS`98 Workshop on Concurrency - Preproceedings
by Petr Jancar, Mojmir Kretinsky, Pre-proceedings of the MFCS`98 Workshop on Concurrency (the PS file is NOT provided, as it is too large (approx. 30MB); take pdf (3.5 MB) instead). July 1998, 209 pages.
FIMU-RS-98-06. Abstract, Postscript, PDF.
Bisimulation Equivalence is Decidable for One-Counter Processes
by Petr Jancar, Accepted for presentation at the 24th International Colloquium on Automata, Languages, and Programming (ICALP`97). May 1997, 13 pages.
FIMU-RS-97-06. Abstract, Postscript, PDF.
Bisimilarity of Processes with Finite-state Systems
by Petr Jancar, Antonin Kucera, These results will be presented at INFINITY`97 workshop. May 1997, 19 pages.
FIMU-RS-97-02. Abstract, Postscript, PDF.

FI MU Report Series