Filtry
A process Algebra for Synchronous Concurrent Constraint Programming
JC - Počítačový hardware a software
- 1996 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
New versions of asks for synchronous communication in concurrent constraint programming
JC - Počítačový hardware a software
- 1996 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Regularity is Decidable for Normed BPA and Normed BPP Processes in Polynomial Time.
JC - Počítačový hardware a software
- 1996 •
- X
Rok uplatnění
X - Nezařazeno
Regularity is Decidable for Normed PA Processes in Polynomial Time
JC - Počítačový hardware a software
- 1996 •
- X
Rok uplatnění
X - Nezařazeno
A process algebra for Synchronous Concurrent Constraint Programming
JC - Počítačový hardware a software
- 1996 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes
JC - Počítačový hardware a software
- 1996 •
- D
Rok uplatnění
D - Stať ve sborníku
Regularity is Decidable for Normed PA Processes in Polynomial Time
JC - Počítačový hardware a software
- 1996 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Comparing Expressibility of Normed BPA and Normed BPP Processes
JC - Počítačový hardware a software
- 1996 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
On the Relationship between Sequential and Parallel Compositions in Process Algebras
JC - Počítačový hardware a software
- 1996 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Deciding Regularity in Process Algebras
JC - Počítačový hardware a software
- 1995 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 z 15