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