Search for persons
X
?
Graph Transformation; Lecture Notes in Computer Science ,
1
Algebras for Tree Decomposable Graphs:
, In:
?
Carl Adam Petri: Ideas, Personality, Impact ,
3
Petri Inheritance: The Foundation of Nondeterministic, Conc..:
, In:
?
From Software Engineering to Formal Methods and Tools, and Back; Lecture Notes in Computer Science ,
4
From Dynamic Programming to Programming Science: Some Recol..:
, In:
?
Models, Languages, and Tools for Concurrent and Distributed Programming; Lecture Notes in Computer Science ,
5
Data-Driven Choreographies à la Klaim:
, In:
?
Models, Languages, and Tools for Concurrent and Distributed Programming; Lecture Notes in Computer Science ,
6
From Tuscany to Scotland and Back: A Homage to Rocco de Nic..:
, In:
?
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy; Lecture Notes in Computer Science ,
7
A Coalgebraic Approach to Unification Semantics of Logic Pr..:
, In:
?
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science ,
8