Found 6 Documents (Results 1–6)
Session types for safe web service orchestration. (English) Zbl 1283.68065
MSC:
68M11
Algorithmic type checking for a pi-calculus with name matching and session types. (English) Zbl 1283.68127
Filter Results by …
all
top 5
Author
- Silva, Josep (2)
- Alpuente, María (1)
- Ballis, Demis (1)
- Bielova, Nataliia (1)
- Falaschi, Moreno (1)
- Fantechi, Alessandro (1)
- Frechina, Francisco (1)
- Giunti, Marco (1)
- Insa, David (1)
- Kovács, Laura Ildikó (1)
- Michaux, Jonathan (1)
- Najm, Elie (1)
- Pugliese, Rosario (1)
- Romero, Daniel M. (1)
- Tamarit, Salvador (1)
- Tiezzi, Francesco (1)
all
top 3
Software
- ADsafety (1)
- AdJail (1)
- BPEL2oWFN (1)
- CADP (1)
- COWS (1)
- ConScript (1)
- FlowFox (1)
- GATEKEEPER (1)
- Gulfstream (1)
- JavaScript (1)
- Mashic (1)
- Maude (1)
- Narcissus (1)
- Orc (1)
- SessionShield (1)
- XCentric (1)
- XMark (1)
- Zaphod (1)