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