The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for SOS with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1972-1983 (15) 1984-1989 (16) 1990-1992 (15) 1993-1995 (21) 1996-1997 (17) 1998-1999 (18) 2000 (20) 2001-2002 (39) 2003 (17) 2004 (37) 2005 (62) 2006 (59) 2007 (80) 2008 (72) 2009 (59) 2010 (45) 2011 (57) 2012 (57) 2013 (59) 2014 (62) 2015 (67) 2016 (54) 2017 (44) 2018 (64) 2019 (67) 2020 (57) 2021 (63) 2022 (53) 2023 (62) 2024 (17)
Publication types (Num. hits)
article(493) incollection(6) inproceedings(843) phdthesis(2) proceedings(31)
Venues (Conferences, Journals, ...)
EXPRESS/SOS(98) CoRR(71) SMC(61) SoSE(61) Image Processing: Algorithms a...(56) ACC(22) SOS(21) SOS@ICALP(20) CDC(18) IEEE Access(17) IEEE Trans. Signal Process.(17) Discret. Math.(16) SOS@CONCUR(14) Comb.(13) SOS@LICS/ICALP(11) CONCUR(10) More (+10 of total 537)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 275 occurrences of 224 keywords

Results
Found 1381 publication records. Showing 1375 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
96Mohammad Reza Mousavi 0001, Iain C. C. Phillips, Michel A. Reniers, Irek Ulidowski The Meaning of Ordered SOS. Search on Bibsonomy FSTTCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
92Ana Azevedo, Arun Kejariwal, Alexander V. Veidenbaum, Alexandru Nicolau High performance annotation-aware JVM for Java cards. Search on Bibsonomy EMSOFT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF superoperators, virtual machine, high performance, Java card
80Michael Todd Gamble, Rose F. Gamble Reasoning about Hybrid System of Systems Designs. Search on Bibsonomy ICCBSS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF interoperability, hybrid systems, isolation, system of systems
80Jochen F. Krucker, J. Brian Fowlkes, Paul L. Carson Sound speed estimation using ultrasound image registration. Search on Bibsonomy ISBI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
73Leonardo B. Oliveira, Antonio Alfredo Ferreira Loureiro, Ricardo Dahab SOS: Secure Overlay Sensornets. Search on Bibsonomy PerCom Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
73Sanae Shimizu, Kazuhiko Yamamoto, Caihua Wang, Yutaka Satoh, Hideki Tanahashi, Yoshinori Niwa Moving object detection by mobile Stereo Omni-directional System (SOS) using spherical depth image. Search on Bibsonomy Pattern Anal. Appl. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Omni-directional stereo, Spherical image, Mobile surveillance system, Ego-motion estimation, Moving object detection
73Chi Hyung In, Choong Seon Hong, Koji Okamura An Enhanced SOS Architecture for DDoS Attack Defense Using Active Network Technology. Search on Bibsonomy AICT/SAPIR/ELETE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
73Peter D. Mosses Pragmatics of Modular SOS. Search on Bibsonomy AMAST The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
72Jae-Wook Lee, Jun-Woo Lee, Tae-wan Kim, Dae-Ung Kim Satellite over Satellite (SOS) Network: A Novel Concept of Hierarchical Architecture and Routing in Satellite Network. Search on Bibsonomy LCN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF satellite over satellite network, SOS network, global broadband services, long distance dependent, broadband satellite network, hierarchical satellite constellation, hierarchical satellite routing protocol, adaptive routing protocol, LDD multimedia traffic, HSRP, quality of service, QoS, routing, protocols, network topology, multimedia communication, telecommunication network routing, multimedia traffic, broadband networks, hierarchical architecture, topological design, satellite links
69Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir Meta SOS - A Maude Based SOS Meta-Theory Framework. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
69Maroun Chamoun, Rima Kilany, Ahmed Serhrouchni A Service Oriented P2P architecture with semantic support. Search on Bibsonomy ICON The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
62Fred B. Schneider Beyond hacking: an SOS! Search on Bibsonomy ICSE (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
62Virginio Cantoni, Roberto Marmo, Marco Zemblini Video Surveillance and SOS Request. Search on Bibsonomy ICIAP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
61Chiara Bodei, Pierpaolo Degano, Corrado Priami Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation. Search on Bibsonomy SAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF SOS semantics, non-interleaving descriptions, Concurrency, abstract interpretation, causality
57Bartek Klin Bialgebraic Operational Semantics and Modal Logic. Search on Bibsonomy LICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
57Robert Schaefer Systems of systems and coordinated atomic actions. Search on Bibsonomy ACM SIGSOFT Softw. Eng. Notes The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
57Peter D. Mosses Exploiting labels in Structural Operational Semantics. Search on Bibsonomy SAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF MSOS, modularity, structural operational semantics, natural semantics, SOS
56Jiawang Nie, James Demmel, Bernd Sturmfels Minimizing Polynomials via Sum of Squares over the Gradient Ideal. Search on Bibsonomy Math. Program. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Sum of Squares (SOS), Radical Ideal, Gradient Ideal, Global Optimization, Polynomials, Semidefinite Programming (SDP), Variety, Algebraic Geometry
53Pedro R. D'Argenio, Matias David Lee, Daniel Gebler SOS rule formats for convex and abstract probabilistic bisimulations. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
53Bartek Klin, Beata Nachyla Distributive Laws and Decidable Properties of SOS Specifications. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
53Mohammad Reza Mousavi 0001, Michel A. Reniers Prototyping SOS Meta-theory in Maude. Search on Bibsonomy SOS@ICALP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
53Jan Friso Groote, Mohammad Reza Mousavi 0001, Michel A. Reniers A Hierarchy of SOS Rule Formats. Search on Bibsonomy SOS@ICALP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
50Chengxiang Wang 0001, Dongfeng Yuan, Hsiao-Hwa Chen, Wen Xu An Improved Deterministic SoS Channel Simulator for Multiple Uncorrelated Rayleigh Fading Channels. Search on Bibsonomy IEEE Trans. Wirel. Commun. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
50Angelos D. Keromytis, Vishal Misra, Dan Rubenstein SOS: an architecture for mitigating DDoS attacks. Search on Bibsonomy IEEE J. Sel. Areas Commun. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
50Angelos D. Keromytis, Vishal Misra, Dan Rubenstein SOS: secure overlay services. Search on Bibsonomy SIGCOMM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF network security, overlay networks, denial of service attacks
50Peter D. Mosses Foundations of Modular SOS. Search on Bibsonomy MFCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
48Jiyoung Song, Young Min Baek, Mingyu Jin, Eunkyoung Jee, Doo-Hwan Bae SoS GaP Slicer: Slicing SoS Goal and PRISM Models for Change-Responsive Verification of SoS. Search on Bibsonomy APSEC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
48Houda Benali, Narjès Bellamine Ben Saoud, Mohamed Ben Ahmed Towards an Ontology of SoS Interoperability: Proposition of a SoS Interoperability Framework and a SoS Conceptual Interoperability Model. Search on Bibsonomy ISD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
46Robert E. Donnelly Bridging live and simulated domains with a common integration approach. Search on Bibsonomy SpringSim The full citation details ... 2009 DBLP  DOI  BibTeX  RDF C4ISR, LVC, mixed experiment, system of systems, integration framework
46Matthew R. Hosking, Ferat Sahin An XML based system of systems discrete event simulation communications framework. Search on Bibsonomy SpringSim The full citation details ... 2009 DBLP  BibTeX  RDF GroundScout robots, swarm behavior, XML, discrete event simulation, DEVS, system of systems
46Aida Causevic, Aneta Vulgarakis Towards a Unified Behavioral Model for Component-Based and Service-Oriented Systems. Search on Bibsonomy COMPSAC (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
46Chih-Chieh Han, Ram Kumar 0001, Roy Shea, Eddie Kohler, Mani B. Srivastava A dynamic operating system for sensor nodes. Search on Bibsonomy MobiSys The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
46Prashanthi Vemuri, Eugene G. Kholmovski, Dennis L. Parker, Brian E. Chapman Coil Sensitivity Estimation for Optimal SNR Reconstruction and Intensity Inhomogeneity Correction in Phased Array MR Imaging. Search on Bibsonomy IPMI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
46Mitsuru Kawamoto, Yujiro Inouye Blind deconvolution of MIMO-FIR channels driven by colored inputs using second-order statistics. Search on Bibsonomy ISCAS (3) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
46Luke R. Pargiter, Jerry E. Sayers A system generation for a small operating system. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 1992 DBLP  DOI  BibTeX  RDF system generation, operating systems, multitasking, concurrent processing
46Éric Badouel, Philippe Darondeau Structural Operational Specifications and the Trace Automata. Search on Bibsonomy CONCUR The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
45Mohammad Reza Mousavi 0001, Michel A. Reniers Orthogonal Extensions in Structural Operational Semantics. Search on Bibsonomy ICALP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Structural Operational Semantics (SOS), Conservative Extension, Operational Conservativity, Equational Conservativity, Formal Semantics, Orthogonality
45Apostolos Niaouris An Algebra of Petri Nets with Arc-Based Time Restrictions. Search on Bibsonomy ICTAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Net-based algebraic calculi, arc based time Petri nets, box algebra, SOS semantics, process algebras
45Maciej Koutny A Compositional Model of Time Petri Nets. Search on Bibsonomy ICATPN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Net-based algebraic calculi, relationships between net theory and other approaches, box algebra, SOS semantics, process algebras, time Petri nets
45Roberto Bruni, Ugo Montanari, Vladimiro Sassone Open Ended Systems, Dynamic Bisimulation and Tile Logic. Search on Bibsonomy IFIP TCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF SOS formats, dynamic bisimulation, tile logic, Bisimulation
45Eike Best, Raymond R. Devillers, Maciej Koutny The Box Algebra - A Model of Nets and Process Expressions. Search on Bibsonomy ICATPN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Net-based algebraic calculi, relationships between net theory and other approaches, box algebra, SOS semantics, refinement, process algebras, recursion
39Pablo A. Parrilo SOS Methods for Semi-algebraic Games and Optimization. Search on Bibsonomy HSCC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
39Mohammad Reza Mousavi 0001, Murdoch Gabbay, Michel A. Reniers SOS for Higher Order Processes. Search on Bibsonomy CONCUR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Congruence Rule Formats, Bisimulation, Formal Semantics, Congruence, Structural Operational Semantics
39Sanae Shimizu, Kazuhiko Yamamoto, Caihua Wang, Yutaka Sato, Hideki Tanahashi, Yoshinori Niwa Moving Object Detection with Mobile Stereo Omni-directional System (SOS) based on Motion Compensatory Inter-frame Depth Subtraction. Search on Bibsonomy ICPR (3) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
39Daisuke Shimada, Hideki Tanahashi, Kunihito Kato, Kazuhiko Yamamoto Extract and Display Moving Object in All Direction by Using Stereo Omnidirectional System(SOS). Search on Bibsonomy 3DIM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
39Rupert Howes, William Redman-White, Ken G. Nichols, Peter J. Mole, Michael J. Robinson, Simon Bird An SOS MOSFET model based on calculation of the surface potential. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
39Marc Shapiro 0001 SOS: a distributed object-oriented operating system. Search on Bibsonomy ACM SIGOPS European Workshop The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
38Michel A. Reniers, Pawel Sobocinski 0001 (eds.) Proceedings Eight Workshop on Structural Operational Semantics 2011, SOS 2011, Aachen, Germany, 5th September 2011. Search on Bibsonomy SOS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
38Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir Axiomatizing GSOS with Predicates Search on Bibsonomy SOS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
38Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen Formal Component-Based Semantics Search on Bibsonomy SOS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
38David Romero-Hernández, David de Frutos-Escrig On the Unification of Process Semantics: Logical Semantics Search on Bibsonomy SOS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
38Asiri Rathnayake, Hayo Thielecke Regular Expression Matching and Operational Semantics Search on Bibsonomy SOS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
38Luca Aceto, Pawel Sobocinski 0001 (eds.) Proceedings Seventh Workshop on Structural Operational Semantics, SOS 2010, Paris, France, 30 August 2010. Search on Bibsonomy SOS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
38Harsh Beohar, D. E. Nadales Agut, Dirk A. van Beek, Pieter J. L. Cuijpers Hierarchical states in the Compositional Interchange Format Search on Bibsonomy SOS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
38Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics Search on Bibsonomy SOS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
38Tobias Heindel Structural Decomposition of Reactions of Graph-Like Objects Search on Bibsonomy SOS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
38Maciej Gazda, Wan J. Fokkink Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics Search on Bibsonomy SOS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
38Keiko Nakata 0001, Tarmo Uustalu Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction Search on Bibsonomy SOS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
38Bartek Klin, Pawel Sobocinski 0001 (eds.) Proceedings Sixth Workshop on Structural Operational Semantics, SOS 2009, Bologna, Italy, August 31, 2009. Search on Bibsonomy SOS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
38Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages Search on Bibsonomy SOS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
38Michel A. Reniers, Tim A. C. Willemse Analysis of Boolean Equation Systems through Structure Graphs Search on Bibsonomy SOS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
38Mohammad Reza Mousavi 0001 Causality in the Semantics of Esterel: Revisited Search on Bibsonomy SOS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
38Magnus Johansson, Björn Victor, Joachim Parrow A Fully Abstract Symbolic Semantics for Psi-Calculi Search on Bibsonomy SOS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
38Gilles Dowek, César A. Muñoz, Camilo Rocha Rewriting Logic Semantics of a Plan Execution Language Search on Bibsonomy SOS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
38Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale On Barbs and Labels in Reactive Systems Search on Bibsonomy SOS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
38Iain C. C. Phillips, Irek Ulidowski Reverse Bisimulations on Stable Configuration Structures Search on Bibsonomy SOS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
38Rob van Glabbeek, Peter D. Mosses (eds.) Proceedings of the Third Workshop on Structural Operational Semantics, SOS 2006, Bonn, Germany, August 26, 2006 Search on Bibsonomy SOS The full citation details ... 2007 DBLP  BibTeX  RDF
38Luca Aceto, Wan J. Fokkink, Irek Ulidowski (eds.) Proceedings of the Workshop on Structural Operational Semantics, SOS 2004, London, UK, August 30, 2004 Search on Bibsonomy SOS The full citation details ... 2005 DBLP  BibTeX  RDF
38Bin Li, Jiawang Nie, Lihong Zhi Approximate GCDs of polynomials and SOS relaxation. Search on Bibsonomy SNC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF SOS relaxation, global minimization, GCD
37Claudio Antares Mezzina, Georgiana Caltais (eds.) Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, EXPRESS/SOS 2023, and 20th Workshop on Structural Operational SemanticsAntwerp, Belgium, 18th September 2023. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Luca Aceto, Pierluigi Crescenzi, Anna Ingólfsdóttir, Mohammad Reza Mousavi 0001 The Way We Were: Structural Operational Semantics Research in Perspective. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Daniel Hirschkoff, Enguerrand Prebet Using Pi-Calculus Names as Locks. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Thomas P. Jensen, Vincent Rebiscoul, Alan Schmitt Deriving Abstract Interpreters from Skeletal Semantics. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Marjan Sirjani, Ehsan Khamespanah Timed Actors and Their Formal Verification. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Shunya Oguchi, Shoji Yuen CRIL: A Concurrent Reversible Intermediate Language. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Rob van Glabbeek, Jan Friso Groote, Erik P. de Vink A Cancellation Law for Probabilistic Processes. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele Quantifying Masking Fault-Tolerance via Fair Stochastic Games. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Ilaria Castellani, Ornela Dardha, Luca Padovani, Davide Sangiorgi EXPRESSing Session Types. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Jos C. M. Baeten, Bas Luttik Parallel Pushdown Automata and Commutative Context-Free Grammars in Bisimulation Semantics (Extended Abstract). Search on Bibsonomy EXPRESS/SOS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Rob van Glabbeek, Peter Höfner, Weiyou Wang A Lean-Congruence Format for EP-Bisimilarity. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Valentina Castiglioni, Claudio Antares Mezzina (eds.) Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, EXPRESS/SOS 2022, Warsaw, Poland, 12th September 2022. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
37Stian Lasse Lybech Encodability and Separation for a Reflective Higher-Order Calculus. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
37Kirstin Peters, Nobuko Yoshida On the Expressiveness of Mixed Choice Sessions. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
37Anna Philippou, Kyriaki Psara Token Multiplicity in Reversing Petri Nets Under the Individual Token Interpretation. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
37Alexander Rønning Bendixen, Bjarke Bredow Bojesen, Hans Hüttel, Stian Lasse Lybech A Generic Type System for Higher-Order Ψ-calculi. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
37Bas van den Heuvel 0001, Jorge A. Pérez 0001 Asynchronous Functional Sessions: Cyclic and Concurrent. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
37Silvia Crafa From Legal Contracts to Legal Calculi: the code-driven normativity. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
37Clément Aubert, Ross Horne, Christian Johansen Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
37Gerard Ekembe Ngondi, Vasileios Koutavas, Andrew Butterfield From CCS to CSP: the m-among-n Synchronisation Approach. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
37Ornela Dardha, Valentina Castiglioni (eds.) Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics, EXPRESS/SOS 2021, and 18th Workshop on Structural Operational SemanticsParis, France (online event), 23rd August 2021. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
37Benjamin Bisping, Luisa Montanari A Game Characterization for Contrasimilarity. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
37Manfred Schmidt-Schauß, David Sabel Minimal Translations from Synchronous Communication to Synchronizing Locks. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
37Xian Xu, Wenbo Zhang On Decidability of the Bisimilarity on Higher-order Processes with Parameterization. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
37Matteo Cimini, Benjamin Mourad Language Transformations in the Classroom. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
37Jan Friso Groote Infinite Choice and Probability Distributions. An Open Problem: The Real Hotel. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
37Eric Alsmann, Florian Bruse, Martin Lange Separating the Expressive Power of Propositional Dynamic and Modal Fixpoint Logics. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
37Ornela Dardha, Jurriaan Rot (eds.) Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, EXPRESS/SOS 2020, and 17th Workshop on Structural Operational SemanticsOnline, 31 August 2020. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
37Manfred Schmidt-Schauß, David Sabel Correctly Implementing Synchronous Message Passing in the Pi-Calculus By Concurrent Haskell's MVars. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
37Mark Bouwman, Bas Luttik, Wouter Schols, Tim A. C. Willemse A process algebra with global variables. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
37Bas Luttik Divergence-Preserving Branching Bisimilarity. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1375 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license