A structural induction theorem for processes
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
Deriving a protocol converter: a top-down method
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Concurrent constraint programming
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Relating total and partial correctness interpretations of non-deterministic programs
POPL '90 Proceedings of the 17th 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
Compositional reachability analysis using process algebra
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Towards a type theory for active objects
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
Termination, deadlock, and divergence
Journal of the ACM (JACM)
Elements of interaction: Turing award lecture
Communications of the ACM
The concurrency workbench: a semantics-based tool for the verification of concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Regular types for active objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
An operational framework for value-passing processes
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The complexity of verification
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
A concurrency analysis tool suite for Ada programs: rationale, design, and preliminary experience
ACM Transactions on Software Engineering and Methodology (TOSEM)
Graph models for reachability analysis of concurrent programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Testing real-time constraints in a process algebraic setting
Proceedings of the 17th international conference on Software engineering
A theory of weak bisimulation for core CML
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Context constraints for compositional reachability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Strategic directions in concurrency research
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Adept_flex—Supporting Dynamic Changes of Workflows Without Losing Control
Journal of Intelligent Information Systems - Special issue on workflow management systems
Compositional verification of concurrent systems using Petri-net-based condensation rules
ACM Transactions on Programming Languages and Systems (TOPLAS)
Logical models of objects and of processes
ANSS '91 Proceedings of the 24th annual symposium on Simulation
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
CSC '91 Proceedings of the 19th annual conference on Computer Science
Semantics study and reality of computing
ACM Computing Surveys (CSUR)
Behavioral equivalence in the polymorphic pi-calculus
Journal of the ACM (JACM)
Enhanced operational semantics: a tool for describing and analyzing concurrent systems
ACM Computing Surveys (CSUR)
Divergence in testing and readiness semantics
Theoretical Computer Science
Trace and testing equivalence on asynchronous processes
Information and Computation
On testing and conformance relations for UML statechart diagrams behaviours
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Refactoring design models for inductive verification
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
On the complexity of verifying concurrent transition systems
Information and Computation
A fully abstract denotational semantics for the π-calculus
Theoretical Computer Science
CSP, partial automata, and coalgebras
Theoretical Computer Science
Triggered message sequence charts
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
A Nondeterministic Extension over Finitely Recursive ProcessModel
Discrete Event Dynamic Systems
Ordered SOS process languages for branching and Eager bisimulation
Information and Computation
Triggered message sequence charts
ACM SIGSOFT Software Engineering Notes
Testing congruence for mobile processes
Journal of Computer Science and Technology
A Formal Framework for Viewpoint Consistency
Formal Methods in System Design
Probabilistic simulations for probabilistic processes
Nordic Journal of Computing
Synthesizing distinguishing formulae for real time systems
Nordic Journal of Computing
Formal Verification of Coherence for a Shared Memory Multiprocessor Model
PaCT '01 Proceedings of the 6th International Conference on Parallel Computing Technologies
A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Congruent Weak Conformance, a Partial Order among Processes
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Mathematical Models of Computer Security
FOSAD '00 Revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design on Foundations of Security Analysis and Design: Tutorial Lectures
On Synchronous and Asynchronous Communication Paradigms
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Testing Transition Systems: An Annotated Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Testing from Formal Specifications, a Generic Approach
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Process Languages for Rooted Eager Bisimulation
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
A Testing Theory for Generally Distributed Stochastic Processes
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Testing Hennessy-Milner Logic with Recursion
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
A Theory of "May" Testing for Asynchronous Languages
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
Weak Bisimilarity and Open Maps
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Automated Test Set Generation for Statecharts
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Verifying Implementation Relations
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
An Axiomatisation of Duplication Equivalence in the Petri Box Calculus
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Towards an Operational Semantics for a Parallel Non-Strict Functional Language
IFL '98 Selected Papers from the 10th International Workshop on 10th International Workshop
Combining Specification Techniques for Processes, Data and Time
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
An Axiomatization of Probabilistic Testing
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Comparing the Efficiency of Asynchronous Systems
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Encoding transition systems in sequent calculus
Theoretical Computer Science - Linear logic
Testing transition systems: an annotated bibliography
Modeling and verification of parallel processes
A theory of may testing for actors
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
CSP-OZ-DC: a combination of specification techniques for processes, data and time
Nordic Journal of Computing
Proving testing preorders for process algebra descriptions
EDTC '95 Proceedings of the 1995 European conference on Design and Test
An Algebraic Theory of Process Efficiency
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Process Algebra and Non-interference
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
Test Purposes: Adapting the Notion of Specification to Testing
Proceedings of the 16th IEEE international conference on Automated software engineering
Noninterference Equations for Nondeterministic Systems
CSFW '01 Proceedings of the 14th IEEE workshop on Computer Security Foundations
A semantic theory for value-passing processes based on the late approach
Information and Computation
Information and Computation
Specification of business components using temporal OCL
UML and the unified process
Toward program representation and program understanding using process algebras
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
Elementary structures in process theory (1): Sets with renaming
Mathematical Structures in Computer Science
A filter model for mobile processes
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
A theory of weak bisimulation for Core CML
Journal of Functional Programming
Modelling and verification of delay-insensitive circuits using CCS and the concurrency workbench
Information Processing Letters
Relating communicating processes with different interfaces
Fundamenta Informaticae
Bisimulation on speed: worst-case efficiency
Information and Computation
Typed behavioural equivalences for processes in the presence of subtyping
Mathematical Structures in Computer Science
Towards a behavioural theory of access and mobility control in distributed systems
Theoretical Computer Science - Special issue: Foundations of wide area network computing
CCS with Hennessy's merge has no finite-equational axiomatization
Theoretical Computer Science - Expressiveness in concurrency
Generating diagnostic information for behavioral preorders
Distributed Computing
A fully abstract may testing semantics for concurrent objects
Theoretical Computer Science
A brief history of process algebra
Theoretical Computer Science - Process algebra
Small bisimulations for reasoning about higher-order imperative programs
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Bisimulation relations for dynamical, control, and hybrid systems
Theoretical Computer Science
Key research issues in grid workflow verification and validation
ACSW Frontiers '06 Proceedings of the 2006 Australasian workshops on Grid computing and e-research - Volume 54
Remarks on Testing Probabilistic Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
A Component Coordination Model Based on Mobile Channels
Fundamenta Informaticae
Generating the syntactic and semantics graphs for a Markovian process algebra
Journal of Computational and Applied Mathematics
Triggered Message Sequence Charts
IEEE Transactions on Software Engineering
A Relational Framework For The Integration Of Specifications
Journal of Integrated Design & Process Science
ACM Turing award lectures
Separation of synchronous and asynchronous communication via testing
Theoretical Computer Science
Simulations Up-to and Canonical Preorders
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal testing from timed finite state machines
Computer Networks: The International Journal of Computer and Telecommunications Networking
A theory of contracts for web services
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Full abstraction for polymorphic π-calculus
Theoretical Computer Science
Controllable Delay-Insensitive Processes
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
A Hierarchy of Equivalences for Probabilistic Processes
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
The Pairing of Contracts and Session Types
Concurrency, Graphs and Models
Contract-Directed Synthesis of Simple Orchestrators
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Implementation of the Conformance Relation for Incremental Development of Behavioural Models
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
On Finite Bases for Weak Semantics: Failures Versus Impossible Futures
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
Modelling Divergence in Relational Concurrent Refinement
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
(Bi)simulations up-to characterise process semantics
Information and Computation
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
A theory of contracts for Web services
ACM Transactions on Programming Languages and Systems (TOPLAS)
Assembling Composite Web Services from Autonomous Components
Proceedings of the 2007 conference on Emerging Artificial Intelligence Applications in Computer Engineering: Real Word AI Systems with Applications in eHealth, HCI, Information Retrieval and Pervasive Technologies
Contract-Based Discovery and Adaptation of Web Services
Formal Methods for Web Services
On the Unification of Process Semantics: Equational Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Contracts for Mobile Processes
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Java Test Driver Generation from Object-Oriented Interaction Traces
Electronic Notes in Theoretical Computer Science (ENTCS)
Mutation testing from probabilistic and stochastic finite state machines
Journal of Systems and Software
Computer Standards & Interfaces
Artificial Life
Teaching Concurrency: Theory in Practice
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
From Bialgebraic Semantics to Congruence Formats
Electronic Notes in Theoretical Computer Science (ENTCS)
Integrating the Semantics of Deterministic Multi-layered Communication Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Computational Effects and Operations: An Overview
Electronic Notes in Theoretical Computer Science (ENTCS)
On the expressiveness of interaction
Theoretical Computer Science
A compositional model of time Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Formal testing of systems presenting soft and hard deadlines
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Branching vs. linear time: semantical perspective
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Contract-based discovery of Web services modulo simple orchestrators
Theoretical Computer Science
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Fair subtyping for multi-party session types
COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
SimGrid MC: verification support for a multi-API simulation platform
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
Towards a signal calculus for event-based synchronous languages
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Formal testing of timed and probabilistic systems
ICTSS'11 Proceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems
Customized testing for probabilistic systems
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Testing real-time multi input-output systems
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Object connectivity and full abstraction for a concurrent calculus of classes
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Observability, connectivity, and replay in a sequential calculus of classes
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
Derivation of a suitable finite test suite for customized probabilistic systems
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Java JR: fully abstract trace semantics for a core java language
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Preserving contexts for soft conformance relation
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Testing of symbolic-probabilistic systems
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Full abstraction for polymorphic pi-calculus
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Weak stochastic bisimulation for non-markovian processes
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
A composition operator for systems with active and passive actions
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
A formal account of contracts for web services
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Finite equational bases in process algebra: results and open questions
Processes, Terms and Cycles
Skew and ω-skew confluence and abstract Böhm semantics
Processes, Terms and Cycles
Retaining the probabilities in probabilistic testing theory
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
An integrated framework for scenarios and state machines
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Executable requirements specifications using triggered message sequence charts
ICDCIT'05 Proceedings of the Second international conference on Distributed Computing and Internet Technology
A CSP model for hybrid automata
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Designing a multiway synchronization protocol
Computer Communications
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Controllable Delay-Insensitive Processes
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
A Component Coordination Model Based on Mobile Channels
Fundamenta Informaticae
Relating Communicating Processes with Different Interfaces
Fundamenta Informaticae
An Acceptance Vector Semantics for Path Programs
Fundamenta Informaticae
Fundamenta Informaticae
ON FOUR PARTIAL ORDERING SEMANTICS FOR A PROCESS CALCULUS
Fundamenta Informaticae
The saga of the axiomatization of parallel composition
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
The must preorder revisited: an algebraic theory for web services contracts
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
A formal framework to test soft and hard deadlines in timed systems
Software Testing, Verification & Reliability
A process-algebraic semantics for generalised nonblocking
CATS 2011 Proceedings of the Seventeenth Computing on The Australasian Theory Symposium - Volume 119
Required behavior of sequence diagrams: Semantics and conformance
ACM Transactions on Software Engineering and Methodology (TOSEM)
A formal framework for software product lines
Information and Software Technology
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Generic models of the laws of programming
Theories of Programming and Formal Methods
| Hi-index | 0.03 |