SCC: A Service Centered Calculus
Lecture notes in computer science2006pp. 38–57
Citations Over TimeTop 1% of 2006 papers
Michele Boreale, Roberto Bruni, Luı́s Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco T. Vasconcelos, Gianluigi Zavattaro
Related Papers
- → Testing semantics for a probabilistic-timed process algebra(1997)13 cited
- → Process Algebra as a Tool for Real Time Analysis(1991)4 cited
- → Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems(2007)3 cited
- → A non-SOS operational semantics for a process algebra(1998)2 cited
- → Reasoning about Security Policies of Services Using Answer Set Programming(2014)