 | 2009 |
|---|
| 12 |       | Frank Puhlmann,
Mathias Weske:
A Look Around the Corner: The Pi-Calculus.
T. Petri Nets and Other Models of Concurrency 2: 64-78 (2009) |
| 2008 |
|---|
| 11 | | Ahmed Awad,
Frank Puhlmann:
Structural Detection of Deadlocks in Business Process Models.
BIS 2008: 239-250 |
| 2007 |
|---|
| 10 | | Anja Bog,
Frank Puhlmann,
Mathias Weske:
The PiVizTool: Simulating Choreographies with Dynamic Binding.
BPM (Demos) 2007 |
| 9 | | Gero Decker,
Frank Puhlmann:
Extending BPMN for Modeling Complex Choreographies.
OTM Conferences (1) 2007: 24-40 |
| 8 | | Frank Puhlmann:
Soundness Verification of Business Processes Specified in the Pi-Calculus.
OTM Conferences (1) 2007: 6-23 |
| 2006 |
|---|
| 7 |  | Arnd Schnieders,
Frank Puhlmann:
Variability Mechanisms in E-Business Process Families.
BIS 2006: 583-601 |
| 6 | | Frank Puhlmann:
Why Do We Actually Need the Pi-Calculus for Business Process Management?
BIS 2006: 77-89 |
| 5 | | Frank Puhlmann,
Mathias Weske:
Investigations on Soundness Regarding Lazy Activities.
Business Process Management 2006: 145-160 |
| 4 | | Gero Decker,
Frank Puhlmann,
Mathias Weske:
Formalizing Service Interactions.
Business Process Management 2006: 414-419 |
| 3 | | Frank Puhlmann:
A Unified Formal Foundation for Service Oriented Architectures.
EMISA 2006: 7-19 |
| 2 | | Frank Puhlmann,
Mathias Weske:
Interaction Soundness for Service Orchestrations.
ICSOC 2006: 302-313 |
| 2005 |
|---|
| 1 | | Frank Puhlmann,
Mathias Weske:
Using the pi-Calculus for Formalizing Workflow Patterns.
Business Process Management 2005: 153-168 |
