researchr - search publication SOS

researchr

You are not signed in
Sign in
Sign up

852 publication results matching 'SOS'

Proceedings of the Third Workshop on Structural Operational Semantics, SOS 2006, Bonn, Germany, August 26, 2006Rob van Glabbeek, Peter D. Mosses, editors, Volume 175 of Electronic Notes in Theoretical Computer Science, Elsevier, 2007. [doi]
Proceedings of the Workshop on Structural Operational Semantics, SOS 2004, London, UK, August 30, 2004Luca Aceto, Wan J. Fokkink, Irek Ulidowski, editors, Volume 128 of Electronic Notes in Theoretical Computer Science, Elsevier, 2005. [doi]
SOSCameron Miyasaki. siggraph 2002: 213 [doi]
Pragmatics of Modular SOS
… Modular SOS is a recently-developed variant of Plotkin’s Structural Operational Semantics (SOS) framework. It has severalpra gmatic advantages over ….

Modular SOS is being used for teaching operational semantics at the undergraduate …
Peter D. Mosses. amast 2002: 21-40 [doi]
System of systems (SoS) engineering & architecture challenges in a net centric environment
… to evolve to embrace this environment becomes more urgent. System of systems (SoS … and define the evolution of system engineering into the SoS environment. It highlights new competencies that would be needed in order to leverage SoS. Experimentation …
Meilich, A.. In 2006 IEEE/SMC International Conference on System of Systems Engineering. 2006: [doi]
Nominal SOSMatteo Cimini, Mohammad Reza Mousavi, Michel A. Reniers, Murdoch James Gabbay. ENTCS, 286:103-116, 2012. [doi]
SoS Management Strategy Impacts on SoS Engineering EffortJo Ann Lane. ispw 2010: 74-87 [doi]
A Result of Erdos-Sos CojectureWang Min, Li Guo-jun, Liu Ai-de. arscom, 55, 2000.
Beyond hacking: an SOS!Fred B. Schneider. ICSE 2010: 2 [doi]
An implementation of Modular SOS in MaudeFabricio Chalub, Christiano Braga. Master's thesis, Universidade Federal Fluminense, 2005.
Video Surveillance and SOS RequestVirginio Cantoni, Roberto Marmo, Marco Zemblini. iciap 2007: 560-565 [doi]
Foundations of Modular SOSPeter D. Mosses. mfcs 1999: 70-80
SOS: Secure Overlay SensornetsLeonardo B. Oliveira, Antonio Alfredo Ferreira Loureiro, Ricardo Dahab. percom 2007: 548-553 [doi]
Sos: Accommodation on the Fly with ACCESSDonnacha Phelan, Robin Strahan, Rem W. Collier, Conor Muldoon, Gregory M. P. O Hare. flairs 2004: 2-7
SOS: secure overlay servicesAngelos D. Keromytis, Vishal Misra, Dan Rubenstein. sigcomm 2002: 61-72 [doi]
SOS for Higher Order ProcessesMohammad Reza Mousavi, Murdoch Gabbay, Michel A. Reniers. concur 2005: 308-322 [doi]
A syntactic commutativity format for SOSMohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote. ipl, 93(5):217-223, 2005. [doi]
The Meaning of Ordered SOSMohammad Reza Mousavi, Iain C. C. Phillips, Michel A. Reniers, Irek Ulidowski. fsttcs 2006: 333-344 [doi]
Semantics and expressiveness of ordered SOSMohammad Reza Mousavi, Iain Phillips, Michel A. Reniers, Irek Ulidowski. iandc, 207(2):85-119, 2009. [doi]
Turning SOS Rules into EquationsLuca Aceto, Bard Bloom, Frits W. Vaandrager. lics 1992: 113-124

Sign in or sign up to see more results.

runs on WebDSL