Date: 2012-07-02 10:13:08Theoretical computer science Logic in computer science Programming language semantics Communications protocol Data transmission Model theory Operational semantics Models of computation | | A Formal Model and Composition Language for Context-Aware Service Protocols A Formal Model and Composition Language for Context-Aware Service Protocols Javier Cubo, Carlos Canal, Ernesto Pimentel, Gwen Sala¨ unAdd to Reading ListSource URL: casta.unibe.chDownload Document from Source Website File Size: 128,60 KBShare Document on Facebook
|