Handling Data-Based Concurrency in Context-Aware Service Protocols

Javier Cubo(Universidad de Málaga), Carlos Canal(Universidad de Málaga), Ernesto Pimentel(Universidad de Málaga), Gwen Salaün(Institut polytechnique de Grenoble)
Electronic Proceedings in Theoretical Computer Science
July 28, 2010
Cited by 5


Related Papers

Formalizing Web Service Choreographies
|Electronic Notes in Theoretical Computer Science|2004|220
Specification and Refinement of Dynamic Software Architectures
|IFIP advances in information and communication technology|1999|109
Compatibility and inheritance in software architectures
|Science of Computer Programming|2001|108
Adding roles to CORBA objects
|IEEE Transactions on Software Engineering|2003|65