Bisimulation-invariant ptime and higher-dimensional my-calculus
Otto, Martin
Amsterdam [u.a.] : Elsevier (1999)
Journal Article
In: Theoretical computer science
Volume: 224
Page(s)/Article-Nr.: 237-265
Identifier
- RWTH PUBLICATIONS: RWTH-CONV-035471
Faculties and Institutions
You Are Here: Bisimulation-invariant ptime and higher-dimensional my-calculus
Faculties and Institutes
- Mathematics, Computer Science and Natural SciencesFaculty 1
- ArchitectureFaculty 2
- Civil EngineeringFaculty 3
- Mechanical EngineeringFaculty 4
- Georesources and Materials EngineeringFaculty 5
- Electrical Engineering and Information TechnologyFaculty 6
- Arts and HumanitiesFaculty 7
- Business and EconomicsFaculty 8
- MedicineFaculty 10
Find Institute:
Navigation
Department
You Are Here:
- Home
- Research
- Publications
- Publications
- Bisimulation-invariant ptime and higher-dimensional my-calculus