Author of the publication

Submodule construction from concurrent system specifications.

, and . Inf. Softw. Technol., 41 (8): 499-506 (1999)

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

Towards a Typed Geometry of Interaction., and . CSL, volume 3634 of Lecture Notes in Computer Science, page 216-231. Springer, (2005)Typed GoI for Exponentials.. ICALP (2), volume 4052 of Lecture Notes in Computer Science, page 384-395. Springer, (2006)Bisimulation Relations for Dynamical and Control Systems., , and . CTCS, volume 69 of Electronic Notes in Theoretical Computer Science, page 120-136. Elsevier, (2002)Submodule construction from concurrent system specifications., and . Inf. Softw. Technol., 41 (8): 499-506 (1999)A categorical model for the geometry of interaction., and . Theor. Comput. Sci., 350 (2-3): 252-274 (2006)Verification by consecutive projections., and . FORTE, volume C-10 of IFIP Transactions, page 465-478. North-Holland, (1992)A Categorical Model for the Geometry of Interaction., and . ICALP, volume 3142 of Lecture Notes in Computer Science, page 708-720. Springer, (2004)Bisimulation relations for dynamical, control, and hybrid systems., , and . Theor. Comput. Sci., 342 (2-3): 229-261 (2005)Towards a geometry of recursion.. Theor. Comput. Sci., 412 (20): 2015-2028 (2011)Partially Additive Categories and Fully Complete Models of Linear Logic.. TLCA, volume 2044 of Lecture Notes in Computer Science, page 197-216. Springer, (2001)