Communicating sequential processes
Communicating sequential processes
Fairness
Nested transactions and read-write locking
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Quorum consensus in nested transaction systems
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Constructing two-writer atomic registers
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
A Distributed Algorithm for Minimum-Weight Spanning Trees
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specifying Concurrent Program Modules
ACM Transactions on Programming Languages and Systems (TOPLAS)
The ``Hoare Logic'' of CSP, and All That
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Verification of Concurrent Programs: Temporal Proof Principles
Logic of Programs, Workshop
Now you may compose temporal logic specifications
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
HIERARCHICAL CORRECTNESS PROOFS FOR DISTRIBUTED ALGORITHMS
HIERARCHICAL CORRECTNESS PROOFS FOR DISTRIBUTED ALGORITHMS
FOUNDATIONS OF A THEORY OF SPECIFICATION FOR DISTRIBUTED SYSTEMS
FOUNDATIONS OF A THEORY OF SPECIFICATION FOR DISTRIBUTED SYSTEMS
CONCURRENCY CONTROL FOR RESILIENT NESTED TRANSACTIONS
CONCURRENCY CONTROL FOR RESILIENT NESTED TRANSACTIONS
INTRODUCTION TO THE THEORY OF NESTED TRANSACTIONS
INTRODUCTION TO THE THEORY OF NESTED TRANSACTIONS
Quorum consensus in nested transaction systems
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
A lattice-structured proof of a minimum spanning
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
Understanding and verifying distributed algorithms using stratified decomposition
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
Data link layer: two impossibility results
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
SPAA '89 Proceedings of the first annual ACM symposium on Parallel algorithms and architectures
A hundred impossibility proofs for distributed computing
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
The intractability of bounded protocols for non-FIFO channels
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
Source to destination communication in the presence of faults
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
Efficient distributed recovery using message logging
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
A predicate transformer approach to semantics of parallel programs
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
A fully abstract trace model for dataflow networks
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An exercise in the formal derivation of parallel programs: maximum flows in graphs
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Relational Notation for State Transition Systems
IEEE Transactions on Software Engineering
Atomic snapshots of shared memory
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Using mappings to prove timing properties
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
A logical view of composition and refinement
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Separating concurrent languages with categories of language embeddings
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Real-time sequence transmission problem
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Replay, recovery, replication, and snapshots of nondeterministic concurrent programs
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Proving sequential consistency of high-performance shared memories (extended abstract)
SPAA '91 Proceedings of the third annual ACM symposium on Parallel algorithms and architectures
A simple taxonomy for distributed mutual exclusion algorithms
ACM SIGOPS Operating Systems Review
A stepwise refinement heuristic for protocol construction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Computing with faulty shared memory
PODC '92 Proceedings of the eleventh annual ACM symposium on Principles of distributed computing
Specifying non-blocking shared memories (extended abstract)
SPAA '92 Proceedings of the fourth annual ACM symposium on Parallel algorithms and architectures
The intractability of bounded protocols for on-line sequence transmission over non-FIFO channels
Journal of the ACM (JACM)
On the correctness of orphan management algorithms
Journal of the ACM (JACM)
Functional specification of time-sensitive communicating systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Atomic snapshots of shared memory
Journal of the ACM (JACM)
An introduction to assertional reasoning for concurrent systems
ACM Computing Surveys (CSUR)
On the space complexity of randomized synchronization
PODC '93 Proceedings of the twelfth annual ACM symposium on Principles of distributed computing
The impossibility of implementing reliable communication in the face of crashes
Journal of the ACM (JACM)
Precision locking for nested transaction systems
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Compositional specification and verification of distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Journal of the ACM (JACM)
A methodology for designing communication protocols
SIGCOMM '94 Proceedings of the conference on Communications architectures, protocols and applications
Reliable communication over unreliable channels
Journal of the ACM (JACM)
Quorum consensus in nested-transaction systems
ACM Transactions on Database Systems (TODS)
Structured operational semantics as a specification language
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Decompositional Approach to the Design of Parallel Programs
IEEE Transactions on Software Engineering
Elimination trees and the construction of pools and stacks: preliminary version
Proceedings of the seventh annual ACM symposium on Parallel algorithms and architectures
Liveness conditions in model-based service specifications: a case study
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Constraint-based structuring of distributed protocols
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Creating formal specifications from requirements documents
ACM SIGSOFT Software Engineering Notes
Computing with faulty shared objects
Journal of the ACM (JACM)
ACM Transactions on Computer Systems (TOCS)
Model and verification of a data manager based on ARIES
ACM Transactions on Database Systems (TODS)
Automated logical verification based on trace abstractions
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
The power of multi-objects (extended abstract)
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Counting networks are practically linearizable
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Using a Protean Language to Enhance Expressiveness in Specification
IEEE Transactions on Software Engineering
Computation-centric memory models
Proceedings of the tenth annual ACM symposium on Parallel algorithms and architectures
Combining funnels: a new twist on an old tale…
PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing
Relative Liveness: From Intuition to Automated Verification
Formal Methods in System Design
On the space complexity of randomized synchronization
Journal of the ACM (JACM)
A serialization graph construction for nested transactions
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Modular refinement of hierarchic reactive machines
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Mu3D: a causal consistency protocol for a collaborative VRML editor
VRML '00 Proceedings of the fifth symposium on Virtual reality modeling language (Web3D-VRML)
Modelling Asynchrony with a Synchronous Model
Formal Methods in System Design
Formal Automatic Verification of Cache Coherence in Multiprocessors with Relaxed Memory Models
IEEE Transactions on Parallel and Distributed Systems
Synthesis of concurrent programs for an atomic read/write model of computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Information and Computation
Verification of randomized distributed algorithms
Lectures on formal methods and performance analysis
A Timed Verification of the IEEE 1394 Leader Election Protocol
Formal Methods in System Design
Additive models of probabilistic processes
Theoretical Computer Science
Formal Verification of a Distributed Computer System
Formal Methods in System Design
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification
IEEE Transactions on Knowledge and Data Engineering
Formal Derivation of Concurrent Programs: An Example from Industry
IEEE Transactions on Software Engineering
A Theory of Interfaces and Modules - I: Composition Theorem
IEEE Transactions on Software Engineering
Discrete time generative-reactive probabilistic processes with different advancing speeds
Theoretical Computer Science
Architecture-driven verification of concurrent systems
Nordic Journal of Computing
Probabilistic simulations for probabilistic processes
Nordic Journal of Computing
Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems
IEEE Transactions on Knowledge and Data Engineering
A Theory of Timestamp-Based Concurrency Control for Nested Transactions
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Lazy Compositional Verification
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
The Need for Compositional Proof Systems: A Survey
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Compositional Verification of Randomized Distributed Algorithms
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Compositional Proofs for Concurrent Objects
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Deductive Verification of Modular Systems
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
System-Level Types for Component-Based Design
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Verifying Network Protocol Implementations by Symbolic Refinement Checking
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Synchronous and Bidirectional Component Interfaces
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Automated verification using deduction, exploration, and abstraction
Programming methodology
Convertibility verification and converter synthesis: two faces of the same coin
Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design
Conversation specification: a new approach to design and analysis of e-service composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
Relative liveness: from intuition to automated verification
ASYNC '95 Proceedings of the 2nd Working Conference on Asynchronous Design Methodologies
Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the workshop weighted automata: Theory and applications (Dresden University of Technology (Germany), March 4-8, 2002)
Developing and Refining an Adaptive Token-Passing Strategy
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Information and Computation
Synthesis of fault-tolerant concurrent programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Proceedings of the conference on Design, automation and test in Europe - Volume 1
Modular refinement of hierarchic reactive machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
DCAS is not a silver bullet for nonblocking algorithm design
Proceedings of the sixteenth annual ACM symposium on Parallelism in algorithms and architectures
Relating communicating processes with different interfaces
Fundamenta Informaticae
Distributed Computing
A theory of normed simulations
ACM Transactions on Computational Logic (TOCL)
Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study
Distributed Computing
Constraint-based structuring of network protocols
Distributed Computing
Distributed Computing
Using SeSFJava in teaching introductory network courses
Proceedings of the 36th SIGCSE technical symposium on Computer science education
Evaluation of the capability of interaction
ACM SIGGROUP Bulletin - Special issue on community-based learning: explorations into theoretical groundings, empirical findings and computer support
Theoretical Computer Science - Implementation and application of automata
Linearizable counting networks
Distributed Computing
Using mappings to prove timing properties
Distributed Computing
Algebraic and functional specification of an interactive serializable database interface
Distributed Computing - Special issue: Specification of concurrent systems
Operational specification with joint actions: serializable databases
Distributed Computing - Special issue: Specification of concurrent systems
Specifying modules to satisfy interfaces: a state transition system approach
Distributed Computing - Special issue: Specification of concurrent systems
Distributed Computing - Special issue: Verification of lazy caching
Proving refinement using transduction
Distributed Computing - Special issue: Verification of lazy caching
A modular drinking philosophers algorithm
Distributed Computing
A fully abstract trace model for dataflow and asynchronous networks
Distributed Computing
A fully abstract may testing semantics for concurrent objects
Theoretical Computer Science
Modularity for teams of I/O automata
Information Processing Letters
Time and space optimal implementations of atomic multi-writer register
Information and Computation
Specifying Urgency in Timed I/O Automata
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Proving correctness of highly-concurrent linearisable objects
Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming
Component-interaction automata as a verification-oriented component-based system specification
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
ASDL: a wide spectrum language for designing web services
Proceedings of the 15th international conference on World Wide Web
Century papers at the first quarter-century milestone
Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing
Cones and foci: A mechanical framework for protocol verification
Formal Methods in System Design
On composition and lookahead delegation of e-services modeled by automata
Theoretical Computer Science
Behaviour Abstraction for Communicating Sequential Processes
Fundamenta Informaticae
Formalization of test experiments
Programming and Computing Software
Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
The power of simulation relations
Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Getting Formal Verification into Design Flow
FM '08 Proceedings of the 15th international symposium on Formal Methods
Protocol Modeling with Model Program Composition
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Programming with Live Distributed Objects
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Compositional Abstraction in Real-Time Model Checking
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Towards compositional synthesis of evolving systems
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
The layered games framework for specifications and analysis of security protocols
International Journal of Applied Cryptography
CPO semantics of timed interactive actor networks
Theoretical Computer Science
Formal specification and validation of multi-agent behaviour using TLA+ and TLC model checker
International Journal of Artificial Intelligence and Soft Computing
State Space Reduction Techniques for Component Interfaces
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Proceedings of the Third ACM International Conference on Distributed Event-Based Systems
Refinement of Interface Automata Strengthened by Action Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Closed-loop modeling in future automation system engineering and validation
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
A formal analysis of database replication protocols with SI replicas and crash failures
The Journal of Supercomputing
Interface Automata with Complex Actions
Electronic Notes in Theoretical Computer Science (ENTCS)
Time and space optimal implementations of atomic multi-writer register
Information and Computation
Modularity for teams of I/O automata
Information Processing Letters
Interactive Markov chains: and the quest for quantified quality
Interactive Markov chains: and the quest for quantified quality
Distributed data flow language for multi-party protocols
Proceedings of the Fifth Workshop on Programming Languages and Operating Systems
Cones and foci for protocol verification revisited
FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
The φ-calculus: a language for distributed control of reconfigurable embedded systems
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Refinement of models of software components
Proceedings of the 2010 ACM Symposium on Applied Computing
A review on specifying software architectures using extended automata-based models
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
SPAMR: extending PAMR with stochastic time
EPEW'07 Proceedings of the 4th European performance engineering conference on Formal methods and stochastic models for performance evaluation
Goal-oriented composition of services
SC'08 Proceedings of the 7th international conference on Software composition
The layered games framework for specifications and analysis of security protocols
TCC'08 Proceedings of the 5th conference on Theory of cryptography
Non-strongly stable orders also define interesting simulation relations
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Nonblocking algorithms and backward simulation
DISC'09 Proceedings of the 23rd international conference on Distributed computing
Action Prefixes: Reified Synchronization Paths in Minimal Component Interaction Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car
Electronic Notes in Theoretical Computer Science (ENTCS)
An Interface Group for Process Components
Fundamenta Informaticae
Towards Formally Specifying and Verifying Transactional Memory
Electronic Notes in Theoretical Computer Science (ENTCS)
A Strict-Observational Interface Theory for Analysing Service Orchestrations
Electronic Notes in Theoretical Computer Science (ENTCS)
Concurrency and composition in a stochastic world
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Conditional automata: a tool for safe removal of negligible events
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Alternating simulation and IOCO
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Proceedings of the 33rd International Conference on Software Engineering
Nets4Cars/Nets4Trains'11 Proceedings of the Third international conference on Communication technologies for vehicles
Enriching Java Enterprise interfaces with formal sequential contracts
Proceedings of the Third Workshop on Behavioural Modelling
Formal verification of components assembly based on SysML and interface automata
Innovations in Systems and Software Engineering
Synthesis of interface automata
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Model checking the time to reach agreement
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Systematic implementation of real-time models
FM'05 Proceedings of the 2005 international conference on Formal Methods
Complementation constructions for nondeterministic automata on infinite words
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
An automata-theoretic approach for model-checking systems with unspecified components
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
A novel distributed scheduling algorithm for resource sharing under near-heavy load
OPODIS'04 Proceedings of the 8th international conference on Principles of Distributed Systems
Composability of infinite-state activity automata
ISAAC'04 Proceedings of the 15th international conference on Algorithms and Computation
Computing refactorings of behavior models
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Enforcing non-safety security policies with program monitors
ESORICS'05 Proceedings of the 10th European conference on Research in Computer Security
Probability and nondeterminism in operational models of concurrency
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
On weak modal compatibility, refinement, and the MIO workbench
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Ramos: Concurrent writing and reconfiguration for collaborative systems
Journal of Parallel and Distributed Computing
Formalizing hardware/software interface specifications
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Relaxing property preservation in the refinement of concurrent systems
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Formalizing and verifying compatibility and consistency of SysML blocks
ACM SIGSOFT Software Engineering Notes
Unblockable compositions of software components
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Relating Communicating Processes with Different Interfaces
Fundamenta Informaticae
Behaviour Abstraction for Communicating Sequential Processes
Fundamenta Informaticae
Partition refinement of Component Interaction Automata
Science of Computer Programming
Improving communication latency with the write-only architecture
Journal of Parallel and Distributed Computing
Making weighted containment feasible: a heuristic based on simulation and abstraction
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
A framework for formally verifying software transactional memory algorithms
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Compositional verification of a medical device system
Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology
An interface theory for service-oriented design
Theoretical Computer Science
On composing and proving the correctness of reactive behavior
Proceedings of the Eleventh ACM International Conference on Embedded Software
ConceVE: Conceptual modeling and formal validation for everyone
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Model-Driven Approaches to Service Composition
International Journal of Adaptive, Resilient and Autonomic Systems
Elimination Trees and the Construction of Pools and Stacks
Theory of Computing Systems
Hi-index | 0.01 |