Author of the publication

Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions

, , , , , and . MeCBIC, volume 100 of EPTCS, page 101-106. (2012)

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

On Object Calculus with Algebraic Rewriting., and . PLILP, volume 1292 of Lecture Notes in Computer Science, page 17-31. Springer, (1997)Process Simulation of Complex Biological Pathways in Physical Reactive Space and Reformulated for Massively Parallel Computing Platforms., , , , and . IEEE ACM Trans. Comput. Biol. Bioinform., 13 (2): 365-379 (2016)Typechecking Safe Process Synchronization., , and . FGUC, volume 138 of Electronic Notes in Theoretical Computer Science, page 3-22. Elsevier, (2004)Multipoint Session Types for a Distributed Calculus., and . TGC, volume 4912 of Lecture Notes in Computer Science, page 240-256. Springer, (2007)Computational and mathematical models of the JAK-STAT signal transduction pathway., and . SummerSim, page 15. Society for Computer Simulation International / ACM DL, (2013)Higher-Order Intersection Types and Multiple Inheritance., and . Math. Struct. Comput. Sci., 6 (5): 469-501 (1996)Boxed ambients with communication interfaces., , , and . Math. Struct. Comput. Sci., 17 (4): 587-645 (2007)Splitting Mobility and Communication in Boxed Ambients., and . DCM@ICALP, volume 135 of Electronic Notes in Theoretical Computer Science, page 61-71. Elsevier, (2005)A Calculus of Located Entities., , , , and . DCM, volume 144 of EPTCS, page 41-56. (2013)Computational Modeling for the Activation Cycle of G-proteins by G-protein-coupled Receptors, , , and . MeCBIC, volume 40 of EPTCS, page 39-53. (2010)