First Page | Document Content | |
---|---|---|
Date: 2002-10-02 04:22:36Process calculi Theoretical computer science Mathematics Software engineering Formal methods -calculus Join-calculus Lambda calculus Ambient calculus Inverse trigonometric functions Calculus Join-pattern | In Cabernet Radicals Workshop, October 2002 http://www.wischik.com/lu/research/ New directions in implementing the pi calculus Lucian Wischik, University of Bologna 30th August 2002Add to Reading ListSource URL: www.wischik.comDownload Document from Source WebsiteFile Size: 46,00 KBShare Document on Facebook |
Translating Orc Features into Petri nets and the Join Calculus? Roberto Bruni1 , Hern´an Melgratti2 , and Emilio Tuosto3 1 Computer Science Department, University of Pisa, Italy.DocID: 1tESd - View Document | |
In Cabernet Radicals Workshop, October 2002 http://www.wischik.com/lu/research/ New directions in implementing the pi calculus Lucian Wischik, University of Bologna 30th August 2002DocID: 1rlvT - View Document | |
process calculi “process calculus” means two things: Process Calculi for web servicesDocID: 1qvfv - View Document | |
QOCO: A Query Oriented Data Cleaning System with Oracles Moria BergmanTova Milo 1DocID: 1q3rl - View Document | |
The Fusion Machine (extended abstract) Philippa Gardner1 , Cosimo Laneve2 , and Lucian Wischik2 1 2DocID: 1pKEh - View Document |