Search results for: Hernán Melgratti
Lecture Notes in Computer Science > Graph Transformations > Extensions for Distributed and Global Computing > 230-244
Lecture Notes in Computer Science > Formal Techniques for Computer Systems and Business Processes > WS-FM > 272-286
IFIP — The International Federation for Information Processing > Exploring New Frontiers of Theoretical Informatics > Track (2) on Logic, Semantics, Specification, and Verification > 563-576
Lecture Notes in Computer Science > Petri Nets and Other Models of Concurrency - ICATPN 2006 > Full Papers > 105-124
Lecture Notes in Computer Science > Programming Languages and Systems > Service-Oriented Computing > 301-315
IFIP — The International Federation for Information Processing > Exploring New Frontiers of Theoretical Informatics > Track (2) on Logic, Semantics, Specification, and Verification > 563-576
Service Oriented Computing and Applications > 2015 > 9 > 3-4 > 213-227
Electronic Notes in Theoretical Computer Science > 2008 > 213 > 1 > 39-53
Electronic Notes in Theoretical Computer Science > 2007 > 180 > 2 > 21-40