The Formal Description and Verification of Hardware Timing
IEEE Transactions on Computers
Rewriting as a unified model of concurrency
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
Towards a type theory for active objects
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
Dealing with atomicity in object-based distributed systems
ACM SIGPLAN OOPS Messenger
A common compiler for LOTOS and SDL specifications
IBM Systems Journal
On Ada packages, types and task types
ACM SIGAda Ada Letters
Guest A Layered Approach to Automating the Verification of Real-Time Systems
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
A pragmatic approach to software synthesis
IDL '94 Proceedings of the workshop on Interface definition languages
An Automaton Model for Scheduling Constraints in Synchronous Machines
IEEE Transactions on Computers
IEEE Transactions on Software Engineering - Special issue on software architecture
Including time in the notion of interactor
ACM SIGCHI Bulletin
Using a Protean Language to Enhance Expressiveness in Specification
IEEE Transactions on Software Engineering
An Efficient Algorithm for Minimizing Real-Time Transition Systems
Formal Methods in System Design - Special issue on computer aided verification (CAV 93)
IEEE Transactions on Software Engineering
Procedure-Level Verification of Real-time Concurrent Systems
Real-Time Systems
Process algebras are getting mature for performance evaluation?!
ACM SIGMETRICS Performance Evaluation Review
Scenario-Based Hypersequential Programming
International Journal of Parallel Programming - Special issue on international symposium on high performance computing 1997, part I
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications
IEEE Transactions on Computers
An Efficient Algorithm for Aggregating PEPA Models
IEEE Transactions on Software Engineering
Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP
Formal Methods in System Design
An actor algebra for specifying distributed systems: The hurried philosophers case study
Concurrent object-oriented programming and petri nets
Formal reasoning about actor programs using temporal logic
Concurrent object-oriented programming and petri nets
Comments on 'The Model Checker SPIN'
IEEE Transactions on Software Engineering
Protection in programming-language translations
Secure Internet programming
Divergence in testing and readiness semantics
Theoretical Computer Science
Bisimulations in the join-calculus
Theoretical Computer Science
Basic process algebra with deadlocking states
Theoretical Computer Science
The parallel composition of uniform processes with data
Theoretical Computer Science
Distributed processes and location failures
Theoretical Computer Science
Recursive equations in higher-order process calculi
Theoretical Computer Science
An infinite hierarchy of temporal logics over branching time
Information and Computation
Distributed query evaluation on semistructured data
ACM Transactions on Database Systems (TODS)
The regular viewpoint on PA-processes
Theoretical Computer Science
Branching time controllers for discrete event systems
Theoretical Computer Science
Trace and testing equivalence on asynchronous processes
Information and Computation
Model-Carrying Code (MCC): a new paradigm for mobile-code security
Proceedings of the 2001 workshop on New security paradigms
Specifying agent observable behaviour
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
On modeling real-time mobile processes
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Information and Computation
ACM Transactions on Computational Logic (TOCL)
On the complexity of verifying concurrent transition systems
Information and Computation
Simulation preorder over simple process algebras
Information and Computation
Formal methods for performance evaluation
Lectures on formal methods and performance analysis
Introducation to stochastic Petri nets
Lectures on formal methods and performance analysis
Process algebra and Markov chains
Lectures on formal methods and performance analysis
Verification of randomized distributed algorithms
Lectures on formal methods and performance analysis
General distributions in process algebra
Lectures on formal methods and performance analysis
A scalable approach to the design of SW architectures with dynamically created/destroyed components
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Information flow vs. resource access in the asynchronous pi-calculus
ACM Transactions on Programming Languages and Systems (TOPLAS)
Secure implementation of channel abstractions
Information and Computation
Combining stochastic process algebras and queueing networks for software architecture analysis
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
A Simple, Object-Based View of Multiprogramming
Formal Methods in System Design
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
Specification and analysis of real-time systems with PARAGON
Annals of Software Engineering
Modeling concurrent real-time processes using discrete events
Annals of Software Engineering
Annals of Software Engineering
The Evolution of Concurrent Programs
Applied Intelligence
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Automated Software Engineering
Formal Specifications of User Requirements
Automated Software Engineering
The Model-Composition Problem in User-Interface Generation
Automated Software Engineering
Planning Proofs of Equations in CCS
Automated Software Engineering
A Nondeterministic Extension over Finitely Recursive ProcessModel
Discrete Event Dynamic Systems
Efficient Computation and Representation of Large Reachability Sets for Composed Automata
Discrete Event Dynamic Systems
Toupie: The µ-calculus over Finite Domains as a Constraint Language
Journal of Automated Reasoning
ACM Transactions on Programming Languages and Systems (TOPLAS)
Model-based analysis of configuration vulnerabilities
Journal of Computer Security
On Verifying Distributed Multithreaded Java Programs
Software Quality Control
The box algebra = Petri nets + process expressions
Information and Computation
Ordered SOS process languages for branching and Eager bisimulation
Information and Computation
Time regions and effects for resource usage analysis
Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation
Composable semantics for model-based notations
ACM SIGSOFT Software Engineering Notes
Architecting families of software systems with process algebras
ACM Transactions on Software Engineering and Methodology (TOSEM)
Imperative objects as mobile processes
Science of Computer Programming
Hierarchical Reachability Graph Generation for Petri Nets
Formal Methods in System Design
Computation and Hypercomputation
Minds and Machines
Towards an ontology of approximate reason
Fundamenta Informaticae
Induction, Domains, Calculi: Strachey's Contributions to Programming-Language Engineering
Higher-Order and Symbolic Computation
Relating conflict-free stable transition and event models via redex families
Theoretical Computer Science
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective
IEEE Transactions on Knowledge and Data Engineering
Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis
IEEE Transactions on Software Engineering
Normal processes for modeling the desired behavior of distributed autonomous discrete event systems
Journal of Automata, Languages and Combinatorics
Maude: specification and programming in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Comparing logics for rewriting: rewriting logic, action calculi and tile logic
Theoretical Computer Science - Rewriting logic and its applications
Equational rules for rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Review of the π-calculus: a theory of mobile processes
ACM SIGACT News
Performance measure sensitive congruences for Markovian process algebras
Theoretical Computer Science
Discrete time generative-reactive probabilistic processes with different advancing speeds
Theoretical Computer Science
Understanding the mismatch combinator in Chi calculus
Theoretical Computer Science
Unified specification and performance evaluation using stochastic process algebras
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Integrating TwoTowers and GreatSPN through a compact net semantics
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Performance evaluation with temporal rewards
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Process algebras for systems diagnosis
Artificial Intelligence
A bisimulation method for cryptographic protocols
Nordic Journal of Computing
Architecture-driven verification of concurrent systems
Nordic Journal of Computing
Nordic Journal of Computing
A mechanized theory of the &pi-calculus in Hol
Nordic Journal of Computing
Comparing refinements for failure and bisimulation semantics
Fundamenta Informaticae
On decidability of the control reachability problem in the asynchronous π-calculus
Nordic Journal of Computing
Design and Verification of Distributed Recovery Blocks with CSP
Formal Methods in System Design
Evolving Multi-agent Networks in Structured Environments
ECAL '01 Proceedings of the 6th European Conference on Advances in Artificial Life
Ready-Simulation Is Not Ready to Express a Modular Refinement Relation
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Proving Deadlock Freedom in Component-Based Programming
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Implementing Condition/Event Nets in the Circal Process Algebra
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Secure Information Flow as Typed Process Behaviour
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Index Structures for Path Expressions
ICDT '99 Proceedings of the 7th International Conference on Database Theory
Achieving Scalability in Parallel Tabled Logic Programs
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
From CSP-OZ to Java with Processes
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Specification of an Access Control System with a Formalism Combining CCS and CASL
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
A Broadcast-based Calculus for Communicating Systems
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Compiling Process Algebraic Descriptions into Reconfigurable Logic
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
A formal model of the java multi-threading system and its validation on a known problem
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Parallel Programming with Interacting Processes
LCPC '99 Proceedings of the 12th International Workshop on Languages and Compilers for Parallel Computing
Extending Compositional Message Sequence Graphs
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Formal Verification of Coherence for a Shared Memory Multiprocessor Model
PaCT '01 Proceedings of the 6th International Conference on Parallel Computing Technologies
An Approach to Composing Parallel Programs
PaCT '01 Proceedings of the 6th International Conference on Parallel Computing Technologies
Why so Many Temporal Logics Climb up the Trees?
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
State Space Reduction Using Partial tau-Confluence
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
A Model Checker for Value-Passing Mu-Calculus Using Logic Programming
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
State Generation in the PARMC Model Checker
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Constraint Database Models Characterizing Timed Bisimilarity
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Symbolic Semantics and Analysis for Crypto-CCS with (Almost) Generic Inference Systems
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Quantifying the Dynamic Behavior of Process Algebras
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Implementing a Stochastic Process Algebra within the Möbius Modeling Framework
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Action Refinement for Probabilistic Processes with True Concurrency Models
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Possibilistic and Probabilistic Abstraction-Based Model Checking
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Security Analysis of a Probabilistic Non-repudiation Protocol
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
A Study of Abramsky's Linear Chemical Abstract Machine
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Modular Specification of Concurrent Systems with Observational Logic
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Formal Methods for the International Space Station ISS
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
METAFrame in Practice: Design of Intelligent Network Services
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Formal Methods for the Re-Engineering of Computing Systems: A Comparison
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
An Algebra of Non-safe Petri Boxes
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Bisimulation Lattice of Chi Processes
ASIAN '98 Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science
Specifying the Processes and States of Negotiation
Agent Mediated Electronic Commerce, The European AgentLink Perspective.
Consistency of Partial Process Specifications
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
A Linear Metalanguage for Concurrency
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Process Calculi for Coordination: From Linda to JavaSpaces
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Message Authentication through Non Interference
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Coordination among Multi-agents Using Process Calculus and ECA Rule
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Time and Asynchrony in Interactions among Distributed Real-Time Objects
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Towards an Object Petri Nets Model for Specifying and Validating Distributed Information Systems
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Process Algebraic Specification of the New Asynchronous CORBA Messaging Service
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
A Trace Model for Pointers and Objects
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Using the pi-Calculus to Model Multiagent Systems
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
The Nepi2 Programming System: A pi-Calculus-Based Approach to Agent-Based Programming
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Comparison of Process Algebra Equivalences Using Formats
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Bisimulation Equivanlence Is Decidable for Normed Process Algebra
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
On Combining the Persistent Sets Method with the Covering Steps Graph Method
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
A Compositional Sweep-Line State Space Exploration Method
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
C Wolf - A Toolset for Extracting Models from C Programs
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
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
An Instruction Set Process Calculus
FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
Model Checking on Product Structures
FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
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
Notes on Nominal Calculi for Security and Mobility
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
Classification of Security Properties (Part I: Information Flow)
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
Combining Stream-Based and State-Based Verification Techniques
FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design
A Methodology for the Formal Analysis of Asynchronous Micropipelines
FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design
Automated Refinement Checking for Asynchronous Processes
FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design
Input/Output Compatibility of Reactive Systems
FMCAD '02 Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design
Coinductive Interpreters for Process Calculi
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Non Interference for the Analysis of Cryptographic Protocols
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Efficient Verification Algorithms for One-Counter Processes
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Information Flow vs. Resource Access in the Asynchronous Pi-Calculus
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Integrating Semantics for Object-Oriented System Models
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Axiomatizations for Probabilistic Bisimulation
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Bialgebraic Modelling of Timed Processes
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Formal Modelling of Java GUI Event Handling
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A New Algorithm for Service Interaction Detection
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
An omega-Complete Equational Specification of Interleaving
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Modular State Level Analysis of Distributed Systems Techniques and Tool Support
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Checking for CFFD-Preorder with Tester Processes
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Verification of Parameterized Systems Using Logic Program Transformations
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
On the Construction of Live Timed Systems
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Parallel Model Checking for the Alternation Free µ-Calculus
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Branching vs. Linear Time: Final Showdown
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Total-Correctness Refinement for Sequential Reactive Systems
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Semantical Principles in the Modal Logic of Coalgebras
STACS '01 Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science
2-Nested Simulation Is Not Finitely Equationally Axiomatizable
STACS '01 Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science
An Abstract Schema for Equivalence-Checking Games
VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
Strong Bisimilarity and Regularity of Basic Parallel Processes Is PSPACE-Hard
STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
Proofs Methods for Bisimulation Based Information Flow Security
VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Action Refinement from a Logical Point of View
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Bisimulation and Unwinding for Verifying Possibilistic Security Properties
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Orchestrating Computations on the World-Wide Web
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
Proof-Checking Protocols Using Bisimulations
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Testing Concurrent Systems: A Formal Approach
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Statecharts Via Process Algebra
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Localizability of Fairness Constraints and Their Distributed Implementations
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Weakest-Congruence Results for Livelock-Preserving Equivalences
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Generalized Model Checking: Reasoning about Partial State Spaces
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Verification Using Tabled Logic Programming
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Typing Non-uniform Concurrent Objects
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Deriving Bisimulation Congruences for Reactive Systems
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Process Languages for Rooted Eager Bisimulation
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Weak Bisimulation for Probabilistic Systems
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
The Control of Synchronous Systems
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Performance Evaluation: = (Process Algebra + Model Checking) × Markov Chains
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Abstraction-Based Model Checking Using Modal Transition Systems
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Probabilistic Information Flow in a Process Algebra
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
A Testing Theory for Generally Distributed Stochastic Processes
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
A Faster-than Relation for Asynchronous Processes
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Liveness and Fairness in Process-Algebraic Verification
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Simulation for Continuous-Time Markov Chains
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Typing and Subtyping Mobility in Boxed Ambients
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Decision Algorithms for Probabilistic Bisimulation
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Compositional Verification of Randomized Distributed Algorithms
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Directions in Functional Programming for Real(-Time) Applications
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
CVS at Work: A Report on New Failures upon Some Cryptographic Protocols
MMM-ACNS '01 Proceedings of the International Workshop on Information Assurance in Computer Networks: Methods, Models, and Architectures for Network Security
A pi-calculus Process Semantics of Concurrent Idealised ALGOL
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
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
An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis
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
The State Explosion Problem from Trace to Bisimulation Equivalence
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
A Proof System for Timed Automata
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
Verifying Performance Equivalence for Timed Basic Parallel Processes
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
Norm Functions for Probabilistic Bisimulations with Delays
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
On Synchronous and Asynchronous Mobile Processes
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
Decidability of Weak Bisimilarity for a Subset of Basic Parallel Processes
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Temporary Data in Shared Dataspace Coordination Languages
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Compositional Verification of CCS Processes
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
The Varieties of Programming Language Semantics
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop)
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Transformation of UML Specification to XTG
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Using Agents for Concurrent Querying of Web-Like Databases via a Hyper-Set-Theoretic Approach
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Modeling Real-Time Systems-Challenges and Work Directions
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Decidable Model Checking of Probabilistic Hybrid Automata
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
A Top-Down Look at a Secure Message
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Graded Modalities and Resource Bisimulation
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Synthesizing Distributed Transition Systems from Global Specification
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
A Complete Axiomatisation for Timed Automata
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
A Semantic Theory for Heterogeneous System Design
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Hereditary History Preserving Bisimulation Is Decidable for Trace-Labelled Systems
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
Mode Switching Synthesis for Reachability Specifications
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Hybrid Abstractions that Preserve Timed Languages
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Composing Abstractions of Hybrid Systems
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Concurrent Execution Semantics of DAML-S with Subtypes
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Software Architecture for Distributed Reactive Systems
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
P-Hardness of Equivalence Testing on Finite-State Processes
SOFSEM '01 Proceedings of the 28th Conference on Current Trends in Theory and Practice of Informatics Piestany: Theory and Practice of Informatics
Equivalence-Checking with Infinite-State Systems: Techniques and Results
SOFSEM '02 Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Presence and Instant Messaging via HTTP /1.1: A Coordination Perspective
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Static Analysis of Real-Time Component-Based Systems Configurations
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
A Principled Semantics for inp
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
GCCS: A Graphical Coordination Language for System Specification
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Coordination in a Reflective Architecture Description Language
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
State- and Event-Based Reactive Programming in Shared Dataspaces
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Securing Communication in a Concurrent Language
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives
SAS '99 Proceedings of the 6th International Symposium on Static Analysis
Model-Checking: A Tutorial Introduction
SAS '99 Proceedings of the 6th International Symposium on Static Analysis
Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Sharing in Typed Module Assembly Language
TIC '00 Selected papers from the Third International Workshop on Types in Compilation
Gamma and the Chemical Reaction Model: Fifteen Years After
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Synchronized Parallel Composition of Event Systems in B
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
On the Complexity of Bisimulation Problems for Pushdown Automata
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Fibred Models of Processes: Discrete, Continuous, and Hybrid Systems
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Thinking Tools for the Future of Computing Science
Informatics - 10 Years Back. 10 Years Ahead.
Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Performance Validation of Mobile Software Architectures
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
The Join Calculus: A Language for Distributed Mobile Programming
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
A Constraint-Based Framework for Prototyping Distributed Virtual Applications
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Model Checking for Timed Logic Processes
CL '00 Proceedings of the First International Conference on Computational Logic
The UniForM WorkBench - A Higher Order Tool Integration Framework
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
A Symbolic Model Checker for ACTL
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
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 Implementation Relations
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
A Uniform Approach for the Definition of Security Properties
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
csp2B: A Practical Approach to Combining CSP and B
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Modelling Microsoft COM Using pi-Calculus
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Model Checking Partial State Spaces with 3-Valued Temporal Logics
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Iterative Decomposition and Aggregation of Labeled GSPNs
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
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
µCRL: A Toolset for Analysing Algebraic Specifications
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Efficient Model Checking Via Büchi Tableau Automata
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Truth/SLC - A Parallel Verification Platform for Concurrent Systems
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Conformance Checking for Models of Asynchronous Message Passing Software
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Synchronous and Bidirectional Component Interfaces
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Compositional Modeling and Verification of Workflow Processes
Business Process Management, Models, Techniques, and Empirical Studies
A Logical Viewpoint on Process-Algebraic Quotients
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Compositional Performance Modelling with TIPPtool
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Implementing Symbolic Models for Value Passing in TwoTowers
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
A Visual Formalism for the Composition of Stochastic Petri Nets
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Automata and Their Interaction: Definitional Suggestions
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Towards an Operational Semantics for a Parallel Non-Strict Functional Language
IFL '98 Selected Papers from the 10th International Workshop on 10th International Workshop
How to Write a Healthiness Condition
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Some Applications of the Decidability of DPDA's Equivalence
MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality
Automated Analysis of Some Security Mechanisms of SCEP
ISC '02 Proceedings of the 5th International Conference on Information Security
Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Fully Abstract Characterization of Probabilistic May Testing
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Modelling Timeouts without Timelocks
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
A Lifecycle for Models of Large Multi-agent Systems
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Ensuring Recovery for SACReD Web Transactions in the E-commerce Applications
DEXA '02 Proceedings of the 13th International Conference on Database and Expert Systems Applications
The Compositional Specification of Timed Systems - A Tutorial
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Architectural Types Revisited: Extensible And/Or Connections
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
On the Complexity of Bisimulation Problems for Basic Parallel Processes
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
A Graphical Environment for the Specification and Verification of Reactive Systems
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Verifying Behavioural Specifications in CafeOBJ Environment
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Expressiveness of Point-to-Point versus Broadcast Communications
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Complete inference systems for weak bisimulation equivalences in the π-calculus
Information and Computation
Encoding transition systems in sequent calculus
Theoretical Computer Science - Linear logic
Expired data collection in shared dataspaces
Theoretical Computer Science - Foundations of software science and computation structures
A compositional formalization of connector wrappers
Proceedings of the 25th International Conference on Software Engineering
Modular verification of software components in C
Proceedings of the 25th International Conference on Software Engineering
Bisimulation for labelled Markov processes
Information and Computation - Special issue: LICS'97
On the computational complexity of bisimulation, redux
PCK50 Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday
Bisimulation analysis of SDL-expressed protocols: a case study
CASCON '00 Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research
Model checking the composition of hypermedia design components
CASCON '00 Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research
Static analysis of multiway synchronization
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Lightweight consistency analysis of dataflow process networks
ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16
Representing architectural evolution
CASCON '98 Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research
ASYNC '99 Proceedings of the 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems
An Algebraic Theory of Process Efficiency
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Models for Name-Passing Processes: Interleaving and Causal
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Approximating Labeled Markov Processes
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Precongruence Formats for Decorated Trace Preorders
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Formal Methods: Mathematics, Computer Science, or Software Engineering?
CSEET '00 Proceedings of the 13th Conference on Software Engineering Education & Training
Comparing Two Information Flow Security Properties
CSFW '96 Proceedings of the 9th IEEE workshop on Computer Security Foundations
CVS: A Compiler for the Analysis of Cryptographic Protocols
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
Process Algebra and Non-interference
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations
Information Flow Security in Dynamic Contexts
CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations
The power of reachability testing for timed automata
Theoretical Computer Science
Throughput Approximation of Decision Free Processes Using Decomposition
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Exploiting Stochastic Process Algebra Achievements for Generalized Stochastic Petri Nets
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Hierarchical Structuring of Superposed GSPNs
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
A formal requirements engineering method for specification, synthesis, and verification
SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
Generating user interfaces from specifications produced by a reverse engineering process
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Retrieving information from data flow diagrams
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
A formal approach to reactive systems software: a telecommunications application in ESTEREL
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Automatic generation of tests for timing constraints from requirements
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
The state-based CCS semantics for concurrent Z specification
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
An operational semantics for ZCCS
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
An In-Service Agent Monitoring and Analysis System
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
Designing Hypermedia Documentation for Safety Critical Applications
ITCC '00 Proceedings of the The International Conference on Information Technology: Coding and Computing (ITCC'00)
Specification and Analysis of Timed and Functional TRMCS Behaviours
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Deadlock-free software architectures for COM/DCOM applications
Journal of Systems and Software - Special issue on: Component-based software engineering
The essence of computation
Structure-preserving binary relations for program abstraction
The essence of computation
Describing interactions between MSC components: the MSC connectors
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
Connectors Synthesis for Deadlock-Free Component-Based Architectures
Proceedings of the 16th IEEE international conference on Automated software engineering
Computing Symbolic Models for Verifying Cryptographic Protocols
CSFW '01 Proceedings of the 14th IEEE workshop on Computer Security Foundations
Equivalence notions and model minimization in Markov decision processes
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
Fundamenta Informaticae
Approximating labelled Markov processes
Information and Computation
Weak bisimulation for (max/+) automata and related models
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)
An efficient method for protocol conversion
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
A Formal Approach to Model SNMP Network Management Systems
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
Distributed Prototyping from Validated Specifications
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
The complexity of bisimilarity-checking for one-counter processes
Theoretical Computer Science
Modelling with hierarchical object Petri nets
Fundamenta Informaticae - Concurrency specification and programming
Deriving bisimulation congruences using 2-categories
Nordic Journal of Computing
Information and Computation
Formal design of SMIL presentations
Proceedings of the 21st annual international conference on Documentation
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
Proof systems for π-calculus logics
Logic for concurrency and synchronisation
Bisimulation and language equivalence
Logic for concurrency and synchronisation
Optimal state-space lumping in Markov chains
Information Processing Letters
A multi-agent system for e-barter including transaction and shipping costs
Proceedings of the 2003 ACM symposium on Applied computing
On the Computation of Observers in Discrete-Event Systems
Discrete Event Dynamic Systems
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
Program representation and behavioural matching for localizing similar code fragments
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Precongruence formats for decorated trace semantics
ACM Transactions on Computational Logic (TOCL)
A modal logic for mobile agents
ACM Transactions on Computational Logic (TOCL)
A format for semantic equivalence comparison
Theoretical Computer Science
Power simulation and its relation to traces and failures refinement
Theoretical Computer Science
MELL in the calculus of structures
Theoretical Computer Science
Branching time and orthogonal bisimulation equivalence
Theoretical Computer Science
Comparing the expressive power of the synchronous and asynchronous $pi$-calculi
Mathematical Structures in Computer Science
Sequentiality vs. concurrency in games and logic
Mathematical Structures in Computer Science
Complexity of weak bisimilarity and regularity for BPA and BPP
Mathematical Structures in Computer Science
Domain equations for probabilistic processes
Mathematical Structures in Computer Science
Unique factorisation lifting functors and categories of linearly-controlled processes
Mathematical Structures in Computer Science
Observational trees as models for concurrency
Mathematical Structures in Computer Science
Final coalgebras as greatest fixed points in ZF set theory
Mathematical Structures in Computer Science
Relating operational and denotational semantics for input/output effects
Mathematical Structures in Computer Science
A filter model for mobile processes
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Categorical logic of names and abstraction in action calculi
Mathematical Structures in Computer Science
Categorical logic of names and abstraction in action calculi
Mathematical Structures in Computer Science
On the semantics of place/transition Petri nets
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Parallel and Distributed Haskells
Journal of Functional Programming
A theory of weak bisimulation for Core CML
Journal of Functional Programming
ML with Concurrency by Flemming Nielson (ed.), Springer-Verlag, 1997.
Journal of Functional Programming
DP Lower bounds for equivalence-checking and model-checking of one-counter automata
Information and Computation
Mathematical modal logic: a view of its evolution
Journal of Applied Logic
A foundation for actor computation
Journal of Functional Programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Compositional Abstractions of Hybrid Control Systems
Discrete Event Dynamic Systems
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System
Autonomous Agents and Multi-Agent Systems
Experimenting different software architectures performance techniques: a case study
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Knowledge engineering in the communication of Information for safety critical systems
The Knowledge Engineering Review
A generic type system for the Pi-calculus
Theoretical Computer Science
Modelling and verification of delay-insensitive circuits using CCS and the concurrency workbench
Information Processing Letters
Models for name-passing processes: interleaving and causal
Information and Computation
Modular Verification of Software Components in C
IEEE Transactions on Software Engineering
Workflow View Driven Cross-Organizational Interoperability in a Web Service Environment
Information Technology and Management
Secure XML querying with security views
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
Distributed prototyping from validated specifications
Journal of Systems and Software - Special issue: Rapid system prototyping
Possible worlds and resources: the semantics of BI
Theoretical Computer Science - Mathematical foundations of programming semantics
Symbolic semantic rules for producing compact STGLAs from value passing process descriptions
ACM Transactions on Computational Logic (TOCL)
A domain equation for refinement of partial systems
Mathematical Structures in Computer Science
From process logic to program logic
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Bisimulation on speed: worst-case efficiency
Information and Computation
Nested semantics over finite trees are equationally hard
Information and Computation
Instructions-Based Semantics of Agent Mediated Interaction
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Modelling and verifying web service orchestration by means of the concurrency workbench
ACM SIGSOFT Software Engineering Notes
STG Optimisation in the Direct Mapping of Asynchronous Circuits
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Typed behavioural equivalences for processes in the presence of subtyping
Mathematical Structures in Computer Science
A theory of normed simulations
ACM Transactions on Computational Logic (TOCL)
Automated Support for Framework Selection and Customization
Proceedings of the 19th IEEE international conference on Automated software engineering
Mapping Template Semantics to SMV
Proceedings of the 19th IEEE international conference on Automated software engineering
Implementing Hierarchical Features in a Graphically Based Formal Modelling Language
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Towards the hierarchical verification of reactive systems
Theoretical Computer Science - Logic, semantics and theory of programming
Using LOTOS in the specification of industrial bus communication protocols
Computer Networks: The International Journal of Computer and Telecommunications Networking
Model checking real-time value-passing systems
Journal of Computer Science and Technology
Flow analysis for verifying properties of concurrent software systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
From sequential programs to multi-tier applications by program transformation
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modelling biochemical pathways through enhanced π-calculus
Theoretical Computer Science - Special issue: Computational systems biology
On applying or-parallelism and tabling to logic programs
Theory and Practice of Logic Programming
Turing machines, transition systems, and interaction
Information and Computation - Special issue: Commemorating the 50th birthday anniversary of Paris C. Kanellakis
On the computational complexity of bisimulation, redux
Information and Computation - Special issue: Commemorating the 50th birthday anniversary of Paris C. Kanellakis
A coinductive calculus of streams
Mathematical Structures in Computer Science
A comonadic account of behavioural covarieties of coalgebras
Mathematical Structures in Computer Science
Compositionality and locality for improving model checking in the selective mu-calculus
Science of Computer Programming
Predictive Performance Modelling of Parallel Component Composition
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 15 - Volume 16
Generating BDDs for symbolic model checking in CCS
Distributed Computing
An incremental specification of the sliding-window protocol
Distributed Computing
Profunctors, open maps and bisimulation
Mathematical Structures in Computer Science
Composition for component-based modeling
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Relating multiset rewriting and process algebras for security protocol analysis
Journal of Computer Security - Special issue on WITS'03
Non-interference proof technique for the analysis of cryptographic protocols
Journal of Computer Security - Special issue on WITS'03
Structured nodes in UML 2.0 activities
Nordic Journal of Computing
On-the-fly state space reductions for weak equivalences
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Fluent temporal logic for discrete-time event-based models
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Matchmaking multi-party interactions using historical performance data
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Consistency for web services applications
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Stepwise Development of Process-Algebraic Specifications in Decorated Trace Semantics
Formal Methods in System Design
Reduced Models for Efficient CCS Verification
Formal Methods in System Design
A brief history of process algebra
Theoretical Computer Science - Process algebra
Decomposition orders: another generalisation of the fundamental theorem of arithmetic
Theoretical Computer Science - Process algebra
Measuring the performance of asynchronous systems with PAFAS
Theoretical Computer Science - Process algebra
On the usability of process algebra: an architectural view
Theoretical Computer Science - Process algebra
A randomized encoding of the π-calculus with mixed choice
Theoretical Computer Science - Process algebra
Component composition errors and update atomicity: static analysis: Research Articles
Journal of Software Maintenance and Evolution: Research and Practice - Unanticipated Software Evolution
Comparative branching-time semantics for Markov chains
Information and Computation
Model-checking processes with data
Science of Computer Programming
The coarsest congruence for timed automata with deadlines contained in bisimulation
CONCUR 2005 - Concurrency Theory
A behavioural pseudometric for metric labelled transition systems
CONCUR 2005 - Concurrency Theory
CONCUR 2005 - Concurrency Theory
A ground-complete axiomatization of finite state processes in process algebra
CONCUR 2005 - Concurrency Theory
Bisimulations up-to for the linear time branching time spectrum
CONCUR 2005 - Concurrency Theory
CONCUR 2005 - Concurrency Theory
Behavioral theory for mobile ambients
Journal of the ACM (JACM)
The framework of selective interleaving functions and the modular assembly kit
Proceedings of the 2005 ACM workshop on Formal methods in security engineering
Axioms for bigraphical structure
Mathematical Structures in Computer Science
Generating Annotated Behavior Models from End-User Scenarios
IEEE Transactions on Software Engineering
Towards A Truly Concurrent Model for Processes Sharing Resources
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Decidability and proof systems for language-based noninterference relations
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Checking consistency of C and Verilog using predicate abstraction and induction
Proceedings of the 2004 IEEE/ACM International conference on Computer-aided design
A bisimulation-based semantic theory of Safe Ambients
ACM Transactions on Programming Languages and Systems (TOPLAS)
A theory of stochastic systems: part I: Stochastic automata
Information and Computation
Consistency in model integration
Data & Knowledge Engineering - Special issue: Business process management
Basic protocols, message sequence charts, and the verification of requirements specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Information and Computation
Mathematical Structures in Computer Science
Equivalence-checking on infinite-state systems: Techniques and results
Theory and Practice of Logic Programming
Building and Selecting Mobile Agents for Network Management
Journal of Network and Systems Management
ASDL: a wide spectrum language for designing web services
Proceedings of the 15th international conference on World Wide Web
Proceedings of the 2006 international workshop on Global integrated model management
Ten top reasons for systems biology to get into model-driven engineering
Proceedings of the 2006 international workshop on Global integrated model management
Components as coalgebras: the refinement dimension
Theoretical Computer Science - Algebraic methodology and software technology
Computation and communication refinement for multiprocessor SoC design: A system-level perspective
Proceedings of the 41st annual Design Automation Conference
Similarity between preferential models
Theoretical Computer Science
A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols
Theoretical Computer Science
Information flow in secure contexts
Journal of Computer Security
Using equivalence-checking to verify robustness to denial of service
Computer Networks: The International Journal of Computer and Telecommunications Networking
A modular approach to defining and characterising notions of simulation
Information and Computation - Special issue: Seventh workshop on coalgebraic methods in computer science 2004
Bisimulation relations for dynamical, control, and hybrid systems
Theoretical Computer Science
Combining effects: sum and tensor
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
Representing, analysing and managing web service protocols
Data & Knowledge Engineering - Special issue: ER 2004
A general approach to comparing infinite-state systems with their finite-state specifications
Theoretical Computer Science - Concurrency theory (CONCUR 2004)
Relations among quantum processes: bisimilarity and congruence
Mathematical Structures in Computer Science
Bisimulation on speed: a unified approach
Theoretical Computer Science
Processes as formal power series: a coinductive approach to denotational semantics
Theoretical Computer Science
A system of interaction and structure
ACM Transactions on Computational Logic (TOCL)
On compositionality and its limitations
ACM Transactions on Computational Logic (TOCL)
Proceedings of the 2006 ACM/IEEE symposium on Architecture for networking and communications systems
System-level performance/power analysis for platform-based design of multimedia applications
ACM Transactions on Design Automation of Electronic Systems (TODAES)
ACM SIGACT news distributed computing column 24
ACM SIGACT News
ACM Transactions on Software Engineering and Methodology (TOSEM)
Coalgebraic minimization of HD-automata for the π-calculus using polymorphic types
Theoretical Computer Science - Formal methods for components and objects
Domain theory, testing and simulation for labelled Markov processes
Theoretical Computer Science - Foundations of software science and computation structures
A deterministic logical semantics for pure Esterel
ACM Transactions on Programming Languages and Systems (TOPLAS)
Modeling and analysis of biological processes by mem(brane) calculi and systems
Proceedings of the 38th conference on Winter simulation
Symbolic modeling of signal transduction in pathway logic
Proceedings of the 38th conference on Winter simulation
A characterization of regular expressions under bisimulation
Journal of the ACM (JACM)
Process Algebras for Network Communication
Fundamenta Informaticae
Verification and conformance test generation of communication protocol for railway signaling systems
Computer Standards & Interfaces
Classification of security properties in a Linda-like process algebra
Science of Computer Programming - Special issue on security issues in coordination models, languages, and systems
Science of Computer Programming - Special issue on security issues in coordination models, languages, and systems
Bisimilarity is not finitely based over BPA with interrupt
Theoretical Computer Science - Algebra and coalgebra in computer science
Exploiting Labels in Structural Operational Semantics
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Some Remarks on Sets of Communicating Sequential Processes in Topological Rough Set Framework
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Refinement in Finite State Machine Testing
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Impossibility Results in the Equational Logic of Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Specifying and analyzing security automata using CSP-OZ
ASIACCS '07 Proceedings of the 2nd ACM symposium on Information, computer and communications security
Fundamenta Informaticae
Stochastic Graph Transformation Systems
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Stochastic Petri Box Calculus with Discrete Time
Fundamenta Informaticae
Generating the syntactic and semantics graphs for a Markovian process algebra
Journal of Computational and Applied Mathematics
Information flow security in dynamic contexts
Journal of Computer Security
Transaction-Oriented Engineering Design And Formal Specification: A Multi-Agent Approach
Journal of Integrated Design & Process Science - Computer Supported Cooperative Work In Design
Active Evaluation Contexts for Reaction Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Notes on Generative Probabilistic Bisimulation
Electronic Notes in Theoretical Computer Science (ENTCS)
Model checking the Java metalocking algorithm
ACM Transactions on Software Engineering and Methodology (TOSEM)
Extending a Component Specification Language with Time
Electronic Notes in Theoretical Computer Science (ENTCS)
Triggered Message Sequence Charts
IEEE Transactions on Software Engineering
Matching and Merging of Statecharts Specifications
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Mace: language support for building distributed systems
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
A Relational Framework For The Integration Of Specifications
Journal of Integrated Design & Process Science
Predictable real-time software synthesis
Real-Time Systems
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi
Electronic Notes in Theoretical Computer Science (ENTCS)
Engineering a BPEL orchestration engine as a multi-agent system
Science of Computer Programming
An Orchestrator for Dynamic Interconnection of Software Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Component Substitutability via Equivalencies of Component-Interaction Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Synchrony vs Asynchrony in Communication Primitives
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Relational semantics for effect-based program transformations with dynamic allocation
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Feasible reactivity in a synchronous Π-calculus
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
A Simple Calculus for Proteins and Cells
Electronic Notes in Theoretical Computer Science (ENTCS)
Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Verification of Concurrent Systems via Directed Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS
Electronic Notes in Theoretical Computer Science (ENTCS)
A new foundation for control dependence and slicing for modern program structures
ACM Transactions on Programming Languages and Systems (TOPLAS) - Special Issue ESOP'05
An integrated approach to coordination description in distributed multimedia applications
Integrated Computer-Aided Engineering
Testing object-oriented industrial software without precise oracles or results
Communications of the ACM
Priority and abstraction in process algebra
Information and Computation
Information and Computation
ACM Turing award lectures
A bisimulation for type abstraction and recursion
Journal of the ACM (JACM)
A uniform type structure for secure information flow
ACM Transactions on Programming Languages and Systems (TOPLAS)
The algebra of connectors: structuring interaction in BIP
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Compositional failure-based semantic equivalences for Reo specifications
Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
A framework for mobile Java applications
Proceedings of the 5th international symposium on Principles and practice of programming in Java
Graph rewriting for the π-calculus
Mathematical Structures in Computer Science
A type-level approach to component prototyping
International workshop on Synthesis and analysis of component connectors: in conjunction with the 6th ESEC/FSE joint meeting
Discovery of SOA patterns via model checking
2nd international workshop on Service oriented software engineering: in conjunction with the 6th ESEC/FSE joint meeting
Foundations and Trends in Web Science
Formalization of test experiments
Programming and Computing Software
Simulations Up-to and Canonical Preorders
Electronic Notes in Theoretical Computer Science (ENTCS)
An Operational Semantics for Shared Messaging Communication
Electronic Notes in Theoretical Computer Science (ENTCS)
State-oriented Noninterference for CCS
Electronic Notes in Theoretical Computer Science (ENTCS)
Strategies and simulations in a semantic framework
Journal of Algorithms
Component refinement and CSC-solving for STG decomposition
Theoretical Computer Science
Tutorial on separation results in process calculi via leader election problems
Theoretical Computer Science
Verification of Giotto based embedded control systems
Nordic Journal of Computing
Framed temporal logic programming
Science of Computer Programming
Undecidability of bisimilarity by defender's forcing
Journal of the ACM (JACM)
Constructing customized process views
Data & Knowledge Engineering
Symmetric electoral systems for ambient calculi
Information and Computation
Full abstraction for polymorphic π-calculus
Theoretical Computer Science
Information and Software Technology
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
NOAH: A CSP-based language for describing the behaviour of coupled models
Software—Practice & Experience
A congruence relation for sPBC
Formal Methods in System Design
Slicing for modern program structures: a theory for eliminating irrelevant loops
Information Processing Letters
Bisimulation relations for weighted automata
Theoretical Computer Science
Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning
ACM Transactions on Software Engineering and Methodology (TOSEM)
Enhanced compositional safety analysis for distributed embedded systems using LTS equivalence
ACOS'07 Proceedings of the 6th Conference on WSEAS International Conference on Applied Computer Science - Volume 6
On the axiomatisability of priority
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Refinement in the Presence of Unknowns
Electronic Notes in Theoretical Computer Science (ENTCS)
Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method
Electronic Notes in Theoretical Computer Science (ENTCS)
Note: Petri nets are less expressive than state-extended PA
Theoretical Computer Science
A formalism for visual security protocol modeling
Journal of Visual Languages and Computing
Modeling spiking neural networks
Theoretical Computer Science
A low-latency resilient protocol for e-business transactions
International Journal of Web Engineering and Technology
Reusable mobile agents for cluster computing
International Journal of High Performance Computing and Networking
On finite alphabets and infinite bases
Information and Computation
Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations
Electronic Notes in Theoretical Computer Science (ENTCS)
Distributed strategic interleaving with load balancing
Future Generation Computer Systems
An Exercise on Transition Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Engineering of An Assertion-based PSLSimple-Verilog Dynamic Verifier by Alternating Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Maurer computers for pipelined instruction processing†
Mathematical Structures in Computer Science
Electronic Notes in Theoretical Computer Science (ENTCS)
Performance evaluation comes to life: quantitative methods applied to biological systems
ACM SIGMETRICS Performance Evaluation Review
Modelling and simulation of biological processes in BlenX
ACM SIGMETRICS Performance Evaluation Review
Journal of Systems Architecture: the EUROMICRO Journal
Consistency in multi-viewpoint design of enterprise information systems
Information and Software Technology
Observation Based System Security
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Maurer Computers with Single-Thread Control
Fundamenta Informaticae
Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Compositional information flow security for concurrent programs
Journal of Computer Security
Approximate Simulation Relations for Hybrid Systems
Discrete Event Dynamic Systems
Validating MAS simulation models with mutation
Multiagent and Grid Systems - Multi-agent systems for medicine, computational biology, and bioinformatics
Failure-free coordinators synthesis for component-based architectures
Science of Computer Programming
Encoding process algebraic descriptions of web services into BPEL
Web Intelligence and Agent Systems
Embedding Event Algebras and Process for ECA Rules for the Semantic Web
Fundamenta Informaticae
A Relation-Algebraic Theory of Bisimulations
Fundamenta Informaticae
Weak parametric failure equivalences and their congruence formats
CATS '08 Proceedings of the fourteenth symposium on Computing: the Australasian theory - Volume 77
Applying formal methods for the design of wireless telecommunication systems
Proceedings of the 3rd international conference on Mobile multimedia communications
More Relational Concurrent Refinement: Traces and Partial Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
General Refinement, Part One: Interfaces, Determinism and Special Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
General Refinement, Part Two: Flexible Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Resource-Oriented Design Framework for Embedded System Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Using bisimulation proof techniques for the analysis of distributed abstract machines
Theoretical Computer Science
Comparing communication primitives via their relative expressive power
Information and Computation
Characterize branching distance in terms of (η,α)-bisimilarity
Information and Computation
The power of simulation relations
Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing
On the decidability and complexity of the structural congruence for beta-binders
Theoretical Computer Science
Formal interaction specification in public health surveillance systems using π-calculus
Computer Methods and Programs in Biomedicine
The equational theory of prebisimilarity over basic CCS with divergence
Information Processing Letters
Quickly prototyping petri nets tools with SNAKES
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
The Challenge of Hardware-Software Co-verification
Verified Software: Theories, Tools, Experiments
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Dealing with Nondeterminism in Symbolic Control
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Bisimilar Finite Abstractions of Interconnected Systems
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Composition of Motion Description Languages
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Model Checking: From Tools to Theory
25 Years of Model Checking
A Model Checking Language for Concurrent Value-Passing Systems
FM '08 Proceedings of the 15th international symposium on Formal Methods
Scenario Description Language for Multi-agent Systems
IEA/AIE '08 Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence
Program Repair Suggestions from Graphical State-Transition Specifications
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Timed Mobile Ambients for Network Protocols
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
A Specification Framework for Earth-Friendly Logistics
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
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
A Symbolic Algorithm for the Synthesis of Bounded Petri Nets
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
On Beta-Binders Communications
Concurrency, Graphs and Models
On the Asynchronous Nature of the Asynchronous Π-Calculus
Concurrency, Graphs and Models
A Category of Explicit Fusions
Concurrency, Graphs and Models
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Concurrency, Graphs and Models
Modal Abstractions of Concurrent Behaviour
SAS '08 Proceedings of the 15th international symposium on Static Analysis
A Survey of Formal Verification for Business Process Modeling
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part II
A Propositional Dynamic Logic for CCS Programs
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
Automated Assume-Guarantee Reasoning by Abstraction Refinement
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Composable Formal Security Analysis: Juggling Soundness, Simplicity and Efficiency
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
On the Computational Power of Biochemistry
AB '08 Proceedings of the 3rd international conference on Algebraic Biology
Process Algebra Models of Population Dynamics
AB '08 Proceedings of the 3rd international conference on Algebraic Biology
Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems
SPIN '08 Proceedings of the 15th international workshop on Model Checking Software
An Observational Model for Transactional Calculus of Services Orchestration
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Guided Test Generation from CSP Models
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
A Space-Efficient Probabilistic Simulation Algorithm
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
On the Minimisation of Acyclic Models
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Termination Problems in Chemical Kinetics
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Towards a Unified Approach to Encodability and Separation Results for Process Calculi
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Abstract Semantics by Observable Contexts
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Compositional Abstraction in Real-Time Model Checking
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Selected Ideas Used for Decidability and Undecidability of Bisimilarity
DLT '08 Proceedings of the 12th international conference on Developments in Language Theory
Non-synchronous Communications in Process Algebraic Architectural Description Languages
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
Towards compositional synthesis of evolving systems
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Journal of Systems and Software
On the expressibility of priority
Information Processing Letters
A finite equational base for CCS with left merge and communication merge
ACM Transactions on Computational Logic (TOCL)
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Computer Standards & Interfaces
A mechanism for grid service composition behavior specification and verification
Future Generation Computer Systems
Text-based on-line conferencing: a conceptual and empirical analysis using a minimal prototype
Human-Computer Interaction
Human-Computer Interaction
Ready to preorder: The case of weak process semantics
Information Processing Letters
State Space Reduction Techniques for Component Interfaces
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Deciding Bisimilarity of Full BPA Processes Locally
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
A Behavioural Pseudometric based on λ--Bisimilarity
Electronic Notes in Theoretical Computer Science (ENTCS)
A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Extending Formal Methods for Software-Intensive Systems
Software-Intensive Systems and New Computing Paradigms
Performance Modelling of Content Adaptation for a Personal Distributed Environment
Wireless Personal Communications: An International Journal
Synthesis of Data Views for Communicating Processes
Logic-Based Program Synthesis and Transformation
Action Refinement in Process Algebra and Security Issues
Logic-Based Program Synthesis and Transformation
Teaching Concurrency Concepts to Freshmen
Transactions on Petri Nets and Other Models of Concurrency I
TAPAs: A Tool for the Analysis of Process Algebras
Transactions on Petri Nets and Other Models of Concurrency I
On Affine Usages in Signal-Based Communication
APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
Using Tuple Space to Coordinate Multiagent Activities
KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference
A P Systems Flat Form Preserving Step-by-step Behaviour
Fundamenta Informaticae
A Cancellation Theorem for BCCSP
Fundamenta Informaticae
Is Timed Branching Bisimilarity a Congruence Indeed?
Fundamenta Informaticae
sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions
Fundamenta Informaticae
Synthesising CCS bisimulation using graph rewriting
Information and Computation
Output-Determinacy and Asynchronous Circuit Synthesis
Fundamenta Informaticae - Application of Concurrency to System Design, the Sixth Special Issue
A Foundational Theory of Contracts for Multi-party Service Composition
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
A Logical Reasoning Approach to Automatic Composition of Stateless Components
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Brief paper: Hierarchical control system design using approximate simulation
Automatica (Journal of IFAC)
Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks
Journal of Automated Reasoning
Defining and Executing P Systems with Structured Data in K
Membrane Computing
The Future of Software: Adaptation and Dependability
Software Engineering
Realizability of Choreographies Using Process Algebra Encodings
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Modelling Divergence in Relational Concurrent Refinement
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
An algebra of quantum processes
ACM Transactions on Computational Logic (TOCL)
Theoretical Computer Science
On metrics for probabilistic systems: Definitions and algorithms
Computers & Mathematics with Applications
Generating priority rewrite systems for OSOS process languages
Information and Computation
(Bi)simulations up-to characterise process semantics
Information and Computation
An Observational Theory for Mobile Ad Hoc Networks (full version)
Information and Computation
A modeling method based on CCS for workflow
Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication
On the origins of bisimulation and coinduction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Model based reactive planning and prediction for autonomic systems
Proceedings of the 2007 Workshop on INnovative SERvice Technologies
Towards Information Flow Properties for Distributed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A ground-complete axiomatisation of finite-state processes in a generic process algebra
Mathematical Structures in Computer Science
A Formal Approach for Milk-Run Transport Logistics
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
A comparative evaluation of the Z, CSP, RSL, and VDM languages
ACM SIGSOFT Software Engineering Notes
Proceedings of the 2009 ACM symposium on Applied Computing
Accelerating multi-party scheduling for transaction-level modeling
Proceedings of the 19th ACM Great Lakes symposium on VLSI
Abstract Processes in Orchestration Languages
ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Contract-Driven Implementation of Choreographies
Trustworthy Global Computing
A Process Calculus Analysis of Compensations
Trustworthy Global Computing
On the Expressive Power of Process Interruption and Compensation
Web Services and Formal Methods
Contract Compliance and Choreography Conformance in the Presence of Message Queues
Web Services and Formal Methods
Bounded and Unbounded Safety Verification Using Bisimulation Metrics
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Reachability is decidable for weakly extended process rewrite systems
Information and Computation
The VLDB Journal — The International Journal on Very Large Data Bases
Multiagent optimization based on the bee-colony method
Cybernetics and Systems Analysis
On Process Equivalence = Equation Solving in CCS
Journal of Automated Reasoning
Proving optimizations correct using parameterized program equivalence
Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
Axiomatizing rational power series over natural numbers
Information and Computation
Undecidable equivalences for basic parallel processes
Information and Computation
Deciding service composition and substitutability using extended operating guidelines
Data & Knowledge Engineering
On the expressive power of process interruption and compensation
Mathematical Structures in Computer Science
A theory of contracts for strong service compliance
Mathematical Structures in Computer Science
Barbed congruence of asymmetry and mismatch
Journal of Computer Science and Technology
Reversible enhanced event structures: Towards reversible E-LOTOS
Computer Standards & Interfaces
Equational Abstractions for Reducing the State Space of Rewrite Theories
Electronic Notes in Theoretical Computer Science (ENTCS)
A Calculus for Mobile Ad-hoc Networks with Static Location Binding
Electronic Notes in Theoretical Computer Science (ENTCS)
On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding)
Electronic Notes in Theoretical Computer Science (ENTCS)
Service Interaction: Patterns, Formalization, and Analysis
Formal Methods for Web Services
Contract-Based Discovery and Composition of Web Services
Formal Methods for Web Services
A Data-Oriented Coordination Language for Distributed Transportation Applications
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Counting the Cost in the Picalculus (Extended Abstract)
Electronic Notes in Theoretical Computer Science (ENTCS)
Evolving stochastic processes using feature tests and genetic programming
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
A bisimulation-based approach to the analysis of human-computer interaction
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
A Process-Model for Linear Programs
Types for Proofs and Programs
Assume-Guarantee Verification of Concurrent Systems
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Transactions on Aspect-Oriented Software Development V
Bisimilarity Minimization in O(m logn) Time
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Rate-Based Transition Systems for Stochastic Process Calculi
ICALP '09 Proceedings of the 36th Internatilonal Collogquium on Automata, Languages and Programming: Part II
Formal Definition of XCCS Modelling Language
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Implicit Propagation in Structural Operational Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Formalizing Operational Semantic Specifications in Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Synthesizing service composition models on the basis of temporal business rules
Journal of Computer Science and Technology
Synthesizing partial component-level behavior models from system specifications
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
A compositional theory for STM Haskell
Proceedings of the 2nd ACM SIGPLAN symposium on Haskell
Expressing first-order π-calculus in higher-order calculus of communicating systems
Journal of Computer Science and Technology
Compositional Failure-based Equivalence of Constraint Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Refinement Sensitive Formal Semantics of State Machines With Persistent Choice
Electronic Notes in Theoretical Computer Science (ENTCS)
Compositional CSP Traces Refinement Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Systems with priorities: Conformance, testing, and composition
Programming and Computing Software
Transmission Protocols for Instruction Streams
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
Process Algebra: An Algebraic Theory of Concurrency
CAI '09 Proceedings of the 3rd International Conference on Algebraic Informatics
Equivalence and Discretisation in Bio-PEPA
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
The Future of Formal Methods and GALS Design
Electronic Notes in Theoretical Computer Science (ENTCS)
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Liveness and fairness properties in multi-agent systems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Dynamic verification of trust in distributed open systems
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Clock-driven distributed real-time implementation of endochronous synchronous programs
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Tight WCRT analysis of synchronous C programs
CASES '09 Proceedings of the 2009 international conference on Compilers, architecture, and synthesis for embedded systems
Future Generation Computer Systems
Algebra and logic for resource-based systems modelling
Mathematical Structures in Computer Science
On understanding data abstraction, revisited
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Expressiveness of concept expressions in first-order description logics
Artificial Intelligence
Automating the addition of fault tolerance with discrete controller synthesis
Formal Methods in System Design
Basic protocols, message sequence charts, and the verification of requirements specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Using equivalence-checking to verify robustness to denial of service
Computer Networks: The International Journal of Computer and Telecommunications Networking
Computer Standards & Interfaces
Testing equivalence for asymmetric χ-calculus
AsiaMS '07 Proceedings of the IASTED Asian Conference on Modelling and Simulation
Non-interleaving bisimulation equivalences on Basic Parallel Processes
Information and Computation
Checking Protocol Compatibility using Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
On the computational power of BlenX
Theoretical Computer Science
Topological Construction of Parameterized Bisimulation Limit
Electronic Notes in Theoretical Computer Science (ENTCS)
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata
Fundamenta Informaticae - Application of Concurrency to System Design
A Net-based Approach to Web Services Publication and Replaceability
Fundamenta Informaticae - Petri Nets 2008
Analysing scientific workflows with Computational Tree Logic
Cluster Computing
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
Artificial Life
Partial model checking via abstract interpretation
Information Processing Letters
Electronic Notes in Theoretical Computer Science (ENTCS)
Using genetic programming to synthesize monotonic stochastic processes
CI '07 Proceedings of the Third IASTED International Conference on Computational Intelligence
Formal Specification of Correlation in WS Orchestrations Using BP-calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
On the Observable Behaviour of Composite Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Implementation of Epistemic Operators for Model Checking Multi-agent Systems
ICCCI '09 Proceedings of the 1st International Conference on Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems
State Space Reduction of Linear Processes Using Control Flow Reconstruction
ATVA '09 Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis
Teaching Concurrency: Theory in Practice
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
Partial Order Reductions Using Compositional Confluence Detection
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Rule-Based Event Processing and Reaction Rules
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
A Rule Format for Unit Elements
SOFSEM '10 Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science
Specification and planning of UAV missions: a process algebra approach
ACC'09 Proceedings of the 2009 conference on American Control Conference
A Deterministic Logical Semantics for Esterel
Electronic Notes in Theoretical Computer Science (ENTCS)
An Algebraic Theory Of Boundary Crossing Transitions
Electronic Notes in Theoretical Computer Science (ENTCS)
A Noninterleaving Model of Concurrency Based on Transition Systems with Spatial Structure
Electronic Notes in Theoretical Computer Science (ENTCS)
Source Transformation for Concurrency Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
Actors and Logical Analysis of Interactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Formal Foundation to Orchestration Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Formalizing Web Service Choreographies
Electronic Notes in Theoretical Computer Science (ENTCS)
A Tool for the Syntactic Detection of Zeno-timelocks in Timed Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Analysing the BKE-security Protocol with μCRL
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Verification of Timed Systems Using Cones and Foci
Electronic Notes in Theoretical Computer Science (ENTCS)
Architectural Prototyping: From CCS to .Net
Electronic Notes in Theoretical Computer Science (ENTCS)
On Quantitative Analysis of Probabilistic Protocols
Electronic Notes in Theoretical Computer Science (ENTCS)
Tarzan: Communicating and Moving in Wireless Jungles
Electronic Notes in Theoretical Computer Science (ENTCS)
Model Checking Multithreaded Programs by Means of Reduced Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Adaptive Verification using Forced Simulation
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling Component Behaviour with Concurrent Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Contextual Labelled Semantics for Higher-order Process Calculi
Electronic Notes in Theoretical Computer Science (ENTCS)
Communicating Concurrent Objects in HiddenCCS
Electronic Notes in Theoretical Computer Science (ENTCS)
Modular Rewriting Semantics in Practice
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
A Generic Cost Model for Concurrent and Data-parallel Meta-computing
Electronic Notes in Theoretical Computer Science (ENTCS)
Truly Concurrent Logic via In-Between Specification
Electronic Notes in Theoretical Computer Science (ENTCS)
A Modal Logic for π-Calculus and Model Checking Algorithm
Electronic Notes in Theoretical Computer Science (ENTCS)
Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability
Electronic Notes in Theoretical Computer Science (ENTCS)
Unwinding in Information Flow Security
Electronic Notes in Theoretical Computer Science (ENTCS)
A Quantitative Approach to Noninterference for Probabilistic Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Checking Integrity via CoPS and Banana: the E-Commerce Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
Enhancing Test Coverage by Back-tracing Model-checker Counterexamples
Electronic Notes in Theoretical Computer Science (ENTCS)
Compositional Properties of Sequential Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Refining the Undecidability Border of Weak Bisimilarity
Electronic Notes in Theoretical Computer Science (ENTCS)
A Classification of Time and/or Probability Dependent Security Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
Metrics for Action-labelled Quantitative Transition Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Formalizing WSBPEL Business Processes Using Process Algebra
Electronic Notes in Theoretical Computer Science (ENTCS)
On the Observational Theory of the CPS-calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Calculus For Wireless Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Typed Event Structures and the π-Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
A Verification Approach for GALS Integration of Synchronous Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
An Observational Model for Spatial Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
A Hierarchy of SOS Rule Formats
Electronic Notes in Theoretical Computer Science (ENTCS)
Flexible Communication of Agents based on FIPA-ACL
Electronic Notes in Theoretical Computer Science (ENTCS)
From Theoretical e-barter Models to an Implementation Based on Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Predicate Diagrams for the Verification of Real-Time Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Semantics of Programming Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
A theory of stochastic systems part I: Stochastic automata
Information and Computation
A theory of Stochastic systems. Part II: Process algebra
Information and Computation
Information and Computation
Comparative branching-time semantics for Markov chains
Information and Computation
Using heuristic search for finding deadlocks in concurrent systems
Information and Computation
Turing machines, transition systems, and interaction
Information and Computation
On the computational complexity of bisimulation, redux
Information and Computation
A modular approach to defining and characterising notions of simulation
Information and Computation - Special issue: Seventh workshop on coalgebraic methods in computer science 2004
On the specification and implementation of distributed systems using NMDS and LIPS
Information and Software Technology
Information and Software Technology
Controllability analysis of multi-agent systems using relaxed equitable partitions
International Journal of Systems, Control and Communications
Dynamic architecture for solving optimization problems of operators of mobile telephony
GIIS'09 Proceedings of the Second international conference on Global Information Infrastructure Symposium
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
On the Computation of Natural Observers in Discrete-Event Systems
Discrete Event Dynamic Systems
Discrete Event Dynamic Systems
Model Checking for a Class of Weighted Automata
Discrete Event Dynamic Systems
Structural non-interference in elementary and trace nets
Mathematical Structures in Computer Science
On the expressive power of recursion, replication and iteration in process calculi
Mathematical Structures in Computer Science
Automated verification of security pattern compositions
Information and Software Technology
Expand, Enlarge and Check: New algorithms for the coverability problem of WSTS
Journal of Computer and System Sciences
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems
Theoretical Computer Science
On the expressiveness of interaction
Theoretical Computer Science
Automatic verification of sequential infinite-state processes
Automatic verification of sequential infinite-state processes
Interactive Markov chains: and the quest for quantified quality
Interactive Markov chains: and the quest for quantified quality
An operational semantics for a calculus for wireless systems
Theoretical Computer Science
Typed event structures and the linear π-calculus
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
Bisimulation and the reduction of Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Mobile UNITY schemas for agent coordination
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
An intrinsic characterization of approximate probabilistic bisimilarity
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
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
Compositional analysis for linear control systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Timed I/O automata: a complete specification theory for real-time systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
An operational framework for the semantics of agent communication languages
ESAW'02 Proceedings of the 3rd international conference on Engineering societies in the agents world III
Replication vs. recursive definitions in channel based calculi
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Undecidability of weak bisimulation equivalence for 1-counter processes
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Semantic barbs and biorthogonality
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
Compositional theories of qualitative and quantitative behaviour
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Instantaneous termination in pure Esterel
SAS'03 Proceedings of the 10th international conference on Static analysis
A proof system for information flow security
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
Mapping modular SOS to rewriting logic
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
A typed theory for access control and information flow control in mobile systems
ACISP'03 Proceedings of the 8th Australasian conference on Information security and privacy
Using projections for the detection of anomalous behaviors
SDL'03 Proceedings of the 11th international conference on System design
Information-flow attacks based on limited observations
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
How to verify and exploit a refinement of component-based systems
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
On simulations and bisimulations of general flow systems
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Approximately bisimilar finite abstractions of stable linear systems
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Hybrid control and verification of a pulsed welding process
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Workflow: a language for composing web services
BPM'03 Proceedings of the 2003 international conference on Business process management
Proving event ordering properties for information systems
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
A calculus for orchestration of web services
ESOP'07 Proceedings of the 16th European conference on Programming
A fault tolerance bisimulation proof for consensus
ESOP'07 Proceedings of the 16th European conference on Programming
An algebraic approach for managing inconsistencies in software processes
ICSP'07 Proceedings of the 2007 international conference on Software process
Flow faster: efficient decision algorithms for probabilistic simulations
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Adaptor synthesis for real-time components
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
A customer test generator for web-based systems
XP'03 Proceedings of the 4th international conference on Extreme programming and agile processes in software engineering
Context-based adaptation of component behavioural interfaces
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
A model of behaviour abstraction for communicating processes
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
A modal fixpoint logic with chop
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
MSC connectors - the philosopher's stone
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
A simple language for real-time cryptographic protocol analysis
ESOP'03 Proceedings of the 12th European conference on Programming
Rule formats for non interference
ESOP'03 Proceedings of the 12th European conference on Programming
A generic on-the-fly solver for alternation-free boolean equation systems
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Compositional analysis for verification of parameterized systems
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Automatic test generation with AGATHA
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Enhancing simulation for checking language containment
TAMC'07 Proceedings of the 4th international conference on Theory and applications of models of computation
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
A survey of Markovian behavioral equivalences
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Tackling large state spaces in performance modelling
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Model checking LTL over controllable linear systems is decidable
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Understanding programming language concepts via operational semantics
Domain modeling and the duration calculus
The ComBack method: extending hash compaction with backtracking
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Capturing conflict and confusion in CSP
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Ready to preorder: get your BCCSP axiomatization for free!
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Impossibility results for the equational theory of timed CCS
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
An exact correspondence between a typed pi-calculus and polarised proof-nets
Theoretical Computer Science
Programming assistance based on contracts and modular verification in the automation domain
Proceedings of the 2010 ACM Symposium on Applied Computing
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Automatic composition of stateless components: a logical reasoning approach
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Logical bisimulations and functional languages
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Efficient state space reduction for automata by fair simulation
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
A review on specifying software architectures using extended automata-based models
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Efficient symbolic execution of large quantifications in a process algebra
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Formalizing SANE virtual processor in thread algebra
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
A non-interleaving denotational semantics of value passing CCS with action refinement
FAW'07 Proceedings of the 1st annual international conference on Frontiers in algorithmics
Reflection and preservation of properties in coalgebraic (bi)simulations
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Deciding weak bisimilarity of normed context-free processes using tableau
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Measuring anonymity with relative entropy
FAST'06 Proceedings of the 4th international conference on Formal aspects in security and trust
A comparison of semantic models for noninterference
FAST'06 Proceedings of the 4th international conference on Formal aspects in security and trust
On recursion, replication and scope mechanisms in process calculi
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Safety property analysis techniques for cooperating embedded systems using LTS
SEUS'07 Proceedings of the 5th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Branching vs. linear time: semantical perspective
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
An automated translation from a narrative language for biological modelling into process algebra
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
WMC'07 Proceedings of the 8th international conference on Membrane computing
A calculus effectively performing event formation with visualization
ISHPC'05/ALPS'06 Proceedings of the 6th international symposium on high-performance computing and 1st international conference on Advanced low power systems
A probabilistic applied pi-calculus
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
Complete lattices and up-to techniques
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
CCS with replication in the Chomsky hierarchy: the expressive power of divergence
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
What semantic equivalences are suitable for non-interference properties in computer security
ICICS'07 Proceedings of the 9th international conference on Information and communications security
A process-algebraic approach to workflow specification and refinement
SC'07 Proceedings of the 6th international conference on Software composition
x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors
Communications of the ACM
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Process algebras in systems biology
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
The BlenX language: a tutorial
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
π@: a π-based process calculus for the implementation of compartmentalised bio-inspired calculi
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
A gentle introduction to stochastic (poly)automata collectives and the (bio)chemical ground form
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Abstract interpretation of cellular signalling networks
VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
Deriving bisimulations by simplifying partitions
VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
Practical approaches for software adaptation: report on the 4th workshop WCAT at ECOOP 2007
ECOOP'07 Proceedings of the 2007 conference on Object-oriented technology
Formal analysis of BPMN via a translation into COWS
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Depletable channels: dynamics and behaviour
FCT'09 Proceedings of the 17th international conference on Fundamentals of computation theory
Open maps bisimulations for higher dimensional automata models
FCT'09 Proceedings of the 17th international conference on Fundamentals of computation theory
More on weak bisimilarity of normed basic parallel processes
TAMC'08 Proceedings of the 5th international conference on Theory and applications of models of computation
Automatic synthesis of computation interference constraints for relative timing verification
ICCD'09 Proceedings of the 2009 IEEE international conference on Computer design
Equivalence checking for a finite higher order π-calculus
TAP'08 Proceedings of the 2nd international conference on Tests and proofs
The microcosm principle and concurrency in coalgebra
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Modelling and verification of timed interaction and migration
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Programmable messaging for electronic government - building a foundation
Formal methods and hybrid real-time systems
Local Enforceability and Inconsumable Messages in Choreography Models
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
Calibrating the power of schedulers for probabilistic polynomial-time calculus
Journal of Computer Security - Security Issues in Concurrency (SecCo'07)
The reaction algebra: a formal language for event correlation
Pillars of computer science
Model based testing with labelled transition systems
Formal methods and testing
A comparative study of STOPA and RTPA
Transactions on computational science II
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Structural operational semantics for weighted transition systems
Semantics and algebraic specification
Fuzzy relation equations and reduction of fuzzy automata
Journal of Computer and System Sciences
Model-based software engineering: the challenges of modelling behaviour
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
Weak bisimilarity coalgebraically
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Journal of Systems and Software
Action Prefixes: Reified Synchronization Paths in Minimal Component Interaction Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Causal semantics for the algebra of connectors
Formal Methods in System Design
Wireless Personal Communications: An International Journal
An Interface Group for Process Components
Fundamenta Informaticae
On hierarchically developing reactive systems
Information and Computation
Towards a unified approach to encodability and separation results for process calculi
Information and Computation
Action-based analysis of discrete regulatory networks with short-term stimuli
Proceedings of the 8th International Conference on Computational Methods in Systems Biology
Spatial and behavioral types in the pi-calculus
Information and Computation
Describing Secure Interfaces with Interface Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
A Strict-Observational Interface Theory for Analysing Service Orchestrations
Electronic Notes in Theoretical Computer Science (ENTCS)
Algebraic model for the behaviour of a D-flip-flops-based memory component
MAMECTIS'10 Proceedings of the 12th WSEAS international conference on Mathematical methods, computational techniques and intelligent systems
Tree-functors, determinacy and bisimulations
Mathematical Structures in Computer Science
On the operating unit size of load/store architectures†
Mathematical Structures in Computer Science
Robin Milner's Work on Concurrency
Electronic Notes in Theoretical Computer Science (ENTCS)
On Rule Formats for Zero and Unit Elements
Electronic Notes in Theoretical Computer Science (ENTCS)
An approach for machine-assisted verification of Timed CSP specifications
Innovations in Systems and Software Engineering
An exercise in iterative domain-specific language design
Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE)
Reasoning about a distributed probabilistic system
CATS '09 Proceedings of the Fifteenth Australasian Symposium on Computing: The Australasian Theory - Volume 94
Program verification through characteristic formulae
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Reusing hardware components with single-state processes
SBCCI'99 Proceedings of the XIIth conference on Integrated circuits and systems design
A comparison of semantic models for noninterference
Theoretical Computer Science
Weak bisimulation for Probabilistic Timed Automata
Theoretical Computer Science
Interaction semantics with refusals, divergence, and destruction
Programming and Computing Software
Representing abstract architectures with axiomatic specifications and activation conditions
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Categorial semantics of a solution to distributed dining philosophers problem
FAW'10 Proceedings of the 4th international conference on Frontiers in algorithmics
Testing of abstract components
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
How to implement a theory of correctness in the area of business processes and services
BPM'10 Proceedings of the 8th international conference on Business process management
Concurrency and composition in a stochastic world
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Bisimilarity of one-counter processes is PSPACE-complete
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
XSym'10 Proceedings of the 7th international XML database conference on Database and XML technologies
Information and Computation
Environmental bisimulations for higher-order languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Towards trusted composition in software design
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Linking denotational semantics with operational semantics for web services
Innovations in Systems and Software Engineering
Journal of Computer Security - 7th International Workshop on Issues in the Theory of Security (WITS'07)
Reasoning about nondeterministic and concurrent actions: a process algebra approach
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Uniform labeled transition systems for nondeterministic, probabilistic, and stochastic processes
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
Property-preserving refinement of concurrent systems
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
INFOCOM'96 Proceedings of the Fifteenth annual joint conference of the IEEE computer and communications societies conference on The conference on computer communications - Volume 3
Resource bisimilarity and graded bisimilarity coincide
Information Processing Letters
Connection between logical and algebraic approaches to concurrent systems†
Mathematical Structures in Computer Science
Testing techniques in software engineering
Testing techniques in software engineering
Role activity diagrams as finite state processes
ISPDC'03 Proceedings of the Second international conference on Parallel and distributed computing
Relaxed-memory concurrency and verified compilation
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Models of reactive systems: communication, concurrency, and causality
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Characterising probabilistic processes logically
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
A common framework for synchronization in requirements modelling languages
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Translating Pi-calculus into LOTOS NT
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
A polyadic pi-calculus approach for the formal specification of UML-RT
Advances in Software Engineering
Modal abstractions of concurrent behavior
ACM Transactions on Computational Logic (TOCL)
Comparing workflow specification languages: a matter of views
Proceedings of the 14th International Conference on Database Theory
Verification of context-dependent channel-based service models
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Methodologies for specification of real-time systems using timed I/O automata
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Hardness of preorder checking for basic formalisms
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
UPPAAL in practice: quantitative verification of a RapidIO network
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
On the automated implementation of time-based paxos using the IOA compiler
OPODIS'10 Proceedings of the 14th international conference on Principles of distributed systems
Formal analysis of message passing
VMCAI'11 Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation
Model independent order relations for processes
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
Concurrency can't be observed, asynchronously
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
Specialization and validation of statecharts in OWL
EKAW'10 Proceedings of the 17th international conference on Knowledge engineering and management by the masses
A Case Study on Verifying a Supervisor Component Using McErlang
Electronic Notes in Theoretical Computer Science (ENTCS)
Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems
Information and Computation
Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems
Information and Computation
Information Processing Letters
Connecting Technical and Non-technical Views of System Architectures
GREENCOM-CPSCOM '10 Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications & Int'l Conference on Cyber, Physical and Social Computing
Component-oriented verification of noninterference
Journal of Systems Architecture: the EUROMICRO Journal
Specification completion for IOCO
Programming and Computing Software
Choreography conformance via synchronizability
Proceedings of the 20th international conference on World wide web
Automatica (Journal of IFAC)
A semantic equivalence for Bio-PEPA based on discretisation of continuous values
Theoretical Computer Science
A calculus for the analysis of wireless network security protocols
FAST'10 Proceedings of the 7th International conference on Formal aspects of security and trust
Concrete stream calculus: An extended study
Journal of Functional Programming
Clone detection through process algebras and Java bytecode
Proceedings of the 5th International Workshop on Software Clones
The edge of graph transformation: graphs for behavioural specification
Graph transformations and model-driven engineering
A trace-based view on operating guidelines
FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software
On the power of cliques in the parameterized verification of Ad Hoc networks
FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software
Constructing replaceable services using operating guidelines and maximal controllers
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
A language for behavioural modelling of architectural patterns
Proceedings of the Third Workshop on Behavioural Modelling
Integrating behaviour in software models: an event coordination notation -- concepts and prototype
Proceedings of the Third Workshop on Behavioural Modelling
Computer Networks: The International Journal of Computer and Telecommunications Networking
Optimizing incremental maintenance of minimal bisimulation of cyclic graphs
DASFAA'11 Proceedings of the 16th international conference on Database systems for advanced applications - Volume Part I
Verifying workflow processes: a transformation-based approach
Software and Systems Modeling (SoSyM)
ACAI '11 Proceedings of the International Conference on Advances in Computing and Artificial Intelligence
Linear lambda calculus and deep inference
TLCA'11 Proceedings of the 10th international conference on Typed lambda calculi and applications
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
Relational concurrent refinement: timed refinement
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
A process calculus for dynamic networks
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
On asynchronous session semantics
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
From flow-global choreography to component types
SAM'10 Proceedings of the 6th international conference on System analysis and modeling: about models
Rule formats for distributivity
LATA'11 Proceedings of the 5th international conference on Language and automata theory and applications
Büchi automata can have smaller quotients
ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II
On the semantics of Markov automata
ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II
On intransitive non-interference in some models of concurrency
Foundations of security analysis and design VI
Algebraic model for the CPU logic unit behaviour
Proceedings of the 15th WSEAS international conference on Computers
Formalization and automated verification of RESTful behavior
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Preset and adaptive homing experiments for nondeterministic finite state machines
CIAA'11 Proceedings of the 16th international conference on Implementation and application of automata
Kleene theorems for product systems
DCFS'11 Proceedings of the 13th international conference on Descriptional complexity of formal systems
Property-dependent reductions for the modal Mu-calculus
Proceedings of the 18th international SPIN conference on Model checking software
A semantic model for many-core parallel computing
COCOA'11 Proceedings of the 5th international conference on Combinatorial optimization and applications
Hunting distributed malware with the κ-calculus
FCT'11 Proceedings of the 18th international conference on Fundamentals of computation theory
A coinductive calculus for asynchronous side-effecting processes
FCT'11 Proceedings of the 18th international conference on Fundamentals of computation theory
FCT'11 Proceedings of the 18th international conference on Fundamentals of computation theory
On the refinement of liveness properties of distributed systems
Formal Methods in System Design
Axiomatizing weak ready simulation semantics over BCCSP
ICTAC'11 Proceedings of the 8th international conference on Theoretical aspects of computing
Multi-scale modelling of biological systems in process algebra with multi-way synchronisation
Proceedings of the 9th International Conference on Computational Methods in Systems Biology
Equivalences for a biological process algebra
Theoretical Computer Science
A timed calculus for wireless systems
Theoretical Computer Science
On the statistical thermodynamics of reversible communicating processes
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
PREG axiomatizer: a ground bisimilarity checker for GSOS with predicates
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Bisimulations meet PCTL equivalences for probabilistic automata
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
The decidability of the reachability problem for CCS!
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Static livelock analysis in CSP
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Refining the process rewrite systems hierarchy via ground tree rewrite systems
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Labelled transition system generation from Alvis language
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part I
Snapshot reachability graphs for Alvis models
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part I
Behavioral theory for session-oriented calculi
Rigorous software engineering for service-oriented systems
Advanced mechanisms for service combination and transactions
Rigorous software engineering for service-oriented systems
Rigorous discretization of hybrid systems using process calculi
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
A fully symbolic bisimulation algorithm
RP'11 Proceedings of the 5th international conference on Reachability problems
Hardness of preorder checking for basic formalisms
Theoretical Computer Science
Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract)
Electronic Notes in Theoretical Computer Science (ENTCS)
An alternative definition for timed automata composition
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
TGA-based controllers for flexible plan execution
KI'11 Proceedings of the 34th Annual German conference on Advances in artificial intelligence
Computational biology: a programming perspective
Formal modeling
Differencing labeled transition systems
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
A linear process-algebraic format with data for probabilistic automata
Theoretical Computer Science
Denotational semantics using horn concurrent transaction logic
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Models for contract conformance
ISoLA'04 Proceedings of the First international conference on Leveraging Applications of Formal Methods
When are two web services compatible?
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Using process algebra for web services: early results and perspectives
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Verification techniques for distributed algorithms
OPODIS'06 Proceedings of the 10th international conference on Principles of Distributed Systems
Synthesis of concurrent and distributed adaptors for component-based systems
EWSA'06 Proceedings of the Third European conference on Software Architecture
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
A priori conformance verification for guaranteeing interoperability in open environments
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Two-thirds simulation indexes and modal logic characterization
Frontiers of Computer Science in China
Weak Alphabet Merging of Partial Behavior Models
ACM Transactions on Software Engineering and Methodology (TOSEM)
Control of modular and distributed discrete-event systems
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Beyond bisimulation: the "up-to" techniques
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Separation results via leader election problems
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
An event-condition-action logic programming language
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Simulation for interactive markov chains
ICNC'06 Proceedings of the Second international conference on Advances in Natural Computation - Volume Part I
On decidability of LTL model checking for process rewrite systems
FSTTCS'06 Proceedings of the 26th international conference on Foundations of Software Technology and Theoretical Computer Science
Expressivity properties of Boolean BI through relational models
FSTTCS'06 Proceedings of the 26th international conference on Foundations of Software Technology and Theoretical Computer Science
Capturing topology in graph pattern matching
Proceedings of the VLDB Endowment
On finite alphabets and infinite bases II: completed and ready simulation
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
On the relative expressive power of asynchronous communication primitives
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Reversing algebraic process calculi
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Undecidability results for bisimilarity on prefix rewrite systems
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Reachability analysis of multi-affine systems
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
On the axiomatizability of priority
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
A finite equational base for CCS with left merge and communication merge
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
Cognitive informatics and contemporary mathematics for knowledge manipulation
RSKT'06 Proceedings of the First international conference on Rough Sets and Knowledge Technology
Study on π-calculus based equipment grid service chain model
NPC'05 Proceedings of the 2005 IFIP international conference on Network and Parallel Computing
2/3 alternating simulation between interface automata
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
A multi-agent framework based on communication and concurrency
IWDC'04 Proceedings of the 6th international conference on Distributed Computing
Model checking prioritized timed automata
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Performance of pipelined asynchronous systems
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Bounding resource consumption with gödel-dummett logics
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
A logical characterization of efficiency preorders
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
Reverse observation equivalence between labelled state transition systems
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
An algebra of petri nets with arc-based time restrictions
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
PLPV '12 Proceedings of the sixth workshop on Programming languages meets program verification
A finite basis for failure semantics
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
A perspective on component refinement
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
Verification of computation orchestration via timed automata
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Towards the semantics for web service choreography description language
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Mapping RT-LOTOS specifications into time petri nets
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Multi-process systems analysis using event b: application to group communication systems
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Science of Computer Programming
Modal logics for brane calculus
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
Towards a symbolic bisimulation for the spi calculus
MSN'05 Proceedings of the First international conference on Mobile Ad-hoc and Sensor Networks
JSCL: a middleware for service coordination
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Refined interfaces for compositional verification
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Effective representation of RT-LOTOS terms by finite time petri nets
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
ODEGSG framework, knowledge-based annotation and design of grid services
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
A calculus for MAS interaction protocol
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
A relationship-based approach to model integration
Innovations in Systems and Software Engineering
rCOS: a formal model-driven engineering method for component-based software
Frontiers of Computer Science in China
A petri net translation of π-calculus terms
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
A process-theoretic look at automata
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
rCOS: theory and tool for component-based model driven development
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Applying step coverability trees to communicating component-based systems
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
A timed calculus for wireless systems
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Formal approaches to location management in mobile communications
ICDCIT'10 Proceedings of the 6th international conference on Distributed Computing and Internet Technology
A calculus of trustworthy ad hoc networks
FAST'09 Proceedings of the 6th international conference on Formal Aspects in Security and Trust
Environment-based coordination through coordination artifacts
E4MAS'04 Proceedings of the First international conference on Environments for Multi-Agent Systems
Agent interaction semantics by timed operating instructions
AC'04 Proceedings of the 2004 international conference on Agent Communication
Adding conflict and confusion to CSP
FM'05 Proceedings of the 2005 international conference on Formal Methods
VCD: a visual formalism for specification of heterogeneous software architectures
SOFSEM'05 Proceedings of the 31st international conference on Theory and Practice of Computer Science
Low dimensional hybrid systems - decidable, undecidable, don't know
Information and Computation
On the bisimulation congruence in χ-calculus
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
Reachability of hennessy-milner properties for weakly extended PRS
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
A knowledge-based analysis of global function computation
DISC'06 Proceedings of the 20th international conference on Distributed Computing
Representing and reasoning with operational semantics
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Color-Blind specifications for transformations of reactive synchronous programs
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Modeling and verification of distributed autonomous agents using logic programming
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Graph processes with fusions: concurrency by colimits, again
Formal Methods in Software and Systems Modeling
A formal framework for the development of concurrent object-based systems
Formal Methods in Software and Systems Modeling
Embedded Systems Design
An agent-oriented conceptual framework for systems biology
Transactions on Computational Systems Biology III
Modeling and property verification of lactose operon regulation
BSB'05 Proceedings of the 2005 Brazilian conference on Advances in Bioinformatics and Computational Biology
Bisimulations for non-deterministic labelled markov processes
Mathematical Structures in Computer Science
On the relationships between notions of simulation-based security
TCC'05 Proceedings of the Second international conference on Theory of Cryptography
A new foundation for control-dependence and slicing for modern program structures
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Using the π-calculus for formalizing workflow patterns
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Learning component interfaces with may and must abstractions
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
Verifying a structured peer-to-peer overlay network: the static case
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Preserving contexts for soft conformance relation
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Testing deadlock-freeness in real-time systems: a formal approach
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Towards an integrated formal analysis for security and trust
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Protocol system integration, interface and interoperability
OPODIS'04 Proceedings of the 8th international conference on Principles of Distributed Systems
Unwinding conditions for security in imperative languages
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
Resource usage analysis for the π-calculus
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
An Algebra of Behavioural Types
Information and Computation
Deciding safety properties in infinite-state pi-calculus via behavioural types
Information and Computation
Timed equivalences for timed event structures
PaCT'05 Proceedings of the 8th international conference on Parallel Computing Technologies
Bisimulation for communicating piecewise deterministic markov processes (CPDPs)
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Model checking for nominal calculi
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Congruence for structural congruences
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Bisimulation on speed: a unified approach
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Axiomatizations for probabilistic finite-state behaviors
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Stochastic transition systems for continuous state spaces and non-determinism
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
A category of higher-dimensional automata
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Full abstraction for polymorphic pi-calculus
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Bridging language-based and process calculi security
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Preserving architectural properties in multithreaded code generation
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Prioritized and parallel reactions in shared data space coordination languages
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Beta binders for biological interactions
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
History-dependent automata: an introduction
SFM-Moby'05 Proceedings of the 5th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: mobile computing
Mobile distributed programming in X-KLAIM
SFM-Moby'05 Proceedings of the 5th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: mobile computing
Performance analysis of mobile systems
SFM-Moby'05 Proceedings of the 5th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: mobile computing
A methodology based on formal methods for predicting the impact of dynamic power management
SFM-Moby'05 Proceedings of the 5th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: mobile computing
Evolution and reactivity for the web
Proceedings of the First international conference on Reasoning Web
Bisimilarity is not finitely based over BPA with interrupt
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
The least fibred lifting and the expressivity of coalgebraic modal logic
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Final semantics for event-pattern reactive programs
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
A generic model for analyzing security protocols
MMM-ACNS'05 Proceedings of the Third international conference on Mathematical Methods, Models, and Architectures for Computer Network Security
Generalized abstract non-interference: abstract secure information-flow analysis for automata
MMM-ACNS'05 Proceedings of the Third international conference on Mathematical Methods, Models, and Architectures for Computer Network Security
A compositional operational semantics for OWL-S
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Coping with nondeterminism in network protocol testing
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Finite abstractions for hybrid systems with stable continuous dynamics
Discrete Event Dynamic Systems
The evolution of higher-level biochemical reaction models
Genetic Programming and Evolvable Machines
Stochastic analysis of graph transformation systems: a case study in P2P networks
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Compositionality of fixpoint logic with chop
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Linking theories of concurrency
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Weak stochastic bisimulation for non-markovian processes
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
On refinement of software architectures
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Using fairness constraints in process-algebraic verification
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Selecting web services statistically
CIA'06 Proceedings of the 10th international conference on Cooperative Information Agents
Process bisimulation via a graphical encoding
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Heuristic search for the analysis of graph transition systems
ICGT'06 Proceedings of the Third international conference on Graph Transformations
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Proof methodologies for behavioural equivalence in DPI
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Deriving non-determinism from conjunction and disjunction
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Properties as processes: their specification and verification
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Forgetting the time in timed process algebra: timeless behaviour in a timestamped world
FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Properties of behavioural model merging
FM'06 Proceedings of the 14th international conference on Formal Methods
Liveness, fairness and impossible futures
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Checking a mutex algorithm in a process algebra with fairness
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
On finite alphabets and infinite bases III: simulation
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
A language for task orchestration and its semantic properties
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Sigref: a symbolic bisimulation tool box
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
Operational patterns in beta-binders
Transactions on Computational Systems Biology I
Behavioral types for embedded software: a survey
Component-Based Software Development for Embedded Systems
Achieving fault tolerance by a formally validated interaction policy
Rigorous Development of Complex Fault-Tolerant Systems
Compositional reasoning for probabilistic finite-state behaviors
Processes, Terms and Cycles
Finite equational bases in process algebra: results and open questions
Processes, Terms and Cycles
Model theory for process algebra
Processes, Terms and Cycles
Spatial and temporal aspects in visual interaction
Journal of Visual Languages and Computing
Information and Computation
BDD-Based hardware verification
SFM'06 Proceedings of the 6th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems
Compositional reasoning for pointer structures
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Testing semantics: connecting processes and process logics
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Analysis of web services composition and substitution via CCS
DEECS'06 Proceedings of the Second international conference on Data Engineering Issues in E-Commerce and Services
Stochastic reasoning about channel-based component connectors
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Synthesizing concurrency control components from process algebraic specifications
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Choreography and orchestration conformance for system design
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
The bisimulation proof method: enhancements and open problems
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Kleene theorem in partial conway theories with applications
Algebraic Foundations in Computer Science
Application of stuck-free conformance to service-role composition
SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles
Automatic translation from combined B and CSP specification to java programs
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Conformon p systems and topology of information flow
WMC'09 Proceedings of the 10th international conference on Membrane Computing
Verifying a compiler for java threads
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
On the relationship between spatial logics and behavioral simulations
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
CIA structures and the semantics of recursion
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
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
Client synthesis for aspect oriented web services
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
Data driven language for agents secure interaction
LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
Behavioural contracts with request-response operations
COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
Component behavior synthesis for critical systems
ISARCS'10 Proceedings of the First international conference on Architecting Critical Systems
Retracing the semantics of CSP
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Process algebra: a unifying approach
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Linking theories of concurrency
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Adaptive techniques for specification matching in embedded systems: a comparative study
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
State/Event software verification for branching-time specifications
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
An integrated framework for scenarios and state machines
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Indirect interaction in environments for multi-agent systems
E4MAS'05 Proceedings of the 2nd international conference on Environments for Multi-Agent Systems
Games and the impossibility of realizable ideal functionality
TCC'06 Proceedings of the Third conference on Theory of Cryptography
Parameterized verification of π-calculus systems
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Constructing mid-points for two-party asynchronous protocols
OPODIS'11 Proceedings of the 15th international conference on Principles of Distributed Systems
Causality in structured occurrence nets
Dependable and Historic Computing
Value-passing CCS with noisy channels
Theoretical Computer Science
Pre-orders for reasoning about stability
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
A symbolic approach to the design of nonlinear networked control systems
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
Model checking adaptive multilevel service compositions
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Systems-theoretic view of component-based software development
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Graph representation of sessions and pipelines for structured service programming
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Steps on the road to component evolvability
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Comparing workflow specification languages: A matter of views
ACM Transactions on Database Systems (TODS)
The equational theory of weak complete simulation semantics over BCCSP
SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science
SAT-based verification for timed component connectors
Science of Computer Programming
Rule formats for determinism and idempotence
Science of Computer Programming
Brief paper: Controller synthesis for safety and reachability via approximate bisimulation
Automatica (Journal of IFAC)
Design rules and abstractions: from branching and real time
DCC'96 Proceedings of the 3rd international conference on Designing Correct Circuits
The user context and formal specification in interactive system design
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
Verification of properties of human-computer dialogues with an infinite number of states
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
Formal methods and human communication
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
On using syntactic action refinement to derive compositionally a timed efficient implementation
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
An algebraic basis for specifying and enforcing access control in security systems
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
A concurrent language for refinement
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
A refinement calculus for communicating processes with state
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Events, causality and symmetry
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
A unified theory of program logics: an approach based on the π-calculus
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Component-based description of programming languages
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Towards a new conceptual framework for the modelling of dynamically distributed systems
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
A formally based framework for supporting design and analysis of asynchronous hardware systems
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Formal analysis of concurrent real-time requirements models
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
A comparison of formal real-time specification languages
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
A model for dynamic state-based systems
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Transformation of MTCCS into an extension of timed
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
State space reduction for asynchronous micropipelines
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Using LOTOS for the evaluation of design options in the PREMO standard
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Formalizing CORRELATE: from practice to pi
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Methods'96 Proceedings of the 1996 international conference on Methods Integration
On the automatic verification of non-standard measures of consistency
IWFM'03 Proceedings of the 6th international conference on Formal Methods
Using admissible interference to detect denial of service vulnerabilities
IWFM'03 Proceedings of the 6th international conference on Formal Methods
Optimal Adapter Creation for Process Composition in Synchronous vs. Asynchronous Communication
ACM Transactions on Management Information Systems (TMIS)
Refinement and asynchronous composition of modal petri nets
Transactions on Petri Nets and Other Models of Concurrency V
Checking the realizability of BPMN 2.0 choreographies
Proceedings of the 27th Annual ACM Symposium on Applied Computing
ACM SIGSOFT Software Engineering Notes
Relating modal refinements, covariant-contravariant simulations and partial bisimulations
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Decidability of behavioral equivalences in process calculi with name scoping
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Rewriting approximations for properties verification over CCS specifications
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Intentional automata: a context-dependent model for component connectors
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Control-invariance of hybrid systems with forcible events
Automatica (Journal of IFAC)
Formal semantics of visual occam
Computer Languages
Argos: an automaton-based synchronous language
Computer Languages
Designing a multiway synchronization protocol
Computer Communications
On distributability of petri nets
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
On the complexity of computing probabilistic bisimilarity
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Probabilistic transition system specification: congruence and full abstraction of bisimulation
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Specification in PDL with recursion
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Graph pattern matching revised for social network analysis
Proceedings of the 15th International Conference on Database Theory
Mathematical and Computer Modelling: An International Journal
Approximating Markov processes through filtration
Theoretical Computer Science
Code generation for a family of executable modelling notations
Software and Systems Modeling (SoSyM)
Control Flow Analysis of Generalised Boolean Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
Verification of Safety and Liveness Properties of Metric Transition Systems
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on CAPA'09, Special Section on WHS'09, and Special Section VCPSS' 09
First-order reasoning for higher-order concurrency
Computer Languages, Systems and Structures
Bisimulation Metrics for Continuous Markov Decision Processes
SIAM Journal on Computing
Combining epistemic logic and hennessy-milner logic
Logic and Program Semantics
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
A fully abstract view for local cause semantics
GPC'12 Proceedings of the 7th international conference on Advances in Grid and Pervasive Computing
Integrated operational semantics: small-step, big-step and multi-step
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Modeling the supervisory control theory with alloy
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
A formal abstract framework for modelling and testing complex software systems
Theoretical Computer Science
Algebraic synchronization trees and processes
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
Computing game metrics on markov decision processes
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
An Operational Petri Net Semantics for A 2CCS
Fundamenta Informaticae
Gained and Excluded Private Actions by Process Observations
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations
Fundamenta Informaticae - Application of Concurrency to System Design, the Eighth Special Issue
Guaranteeing Weak Termination in Service Discovery
Fundamenta Informaticae - Application of Concurrency to System Design, the Eighth Special Issue
Approximately bisimilar symbolic models for digital control systems
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
On decidability of prebisimulation for timed automata
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Towards a formal integrated model of collaborative healthcare workflows
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
Towards an executable algebra for product lines
Proceedings of the 16th International Software Product Line Conference - Volume 2
Formal Definition of XCCS Modelling Language
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
A Net-based Approach to Web Services Publication and Replaceability
Fundamenta Informaticae - Petri Nets 2008
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata
Fundamenta Informaticae - Application of Concurrency to System Design
Embedding Event Algebras and Process for ECA Rules for the Semantic Web
Fundamenta Informaticae
A Relation-Algebraic Theory of Bisimulations
Fundamenta Informaticae
A P Systems Flat Form Preserving Step-by-step Behaviour
Fundamenta Informaticae
Is Timed Branching Bisimilarity a Congruence Indeed?
Fundamenta Informaticae
sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions
Fundamenta Informaticae
A Cancellation Theorem for BCCSP
Fundamenta Informaticae
Output-Determinacy and Asynchronous Circuit Synthesis
Fundamenta Informaticae - Application of Concurrency to System Design, the Sixth Special Issue
A Foundational Theory of Contracts for Multi-party Service Composition
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
A Logical Reasoning Approach to Automatic Composition of Stateless Components
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Stochastic Petri Box Calculus with Discrete Time
Fundamenta Informaticae
Weak markovian bisimulation congruences and exact CTMC-Level aggregations for sequential processes
TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
Context aware specification and verification of distributed systems
TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
Conditional information flow policies and unwinding relations
TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
Conformance relations for labeled event structures
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
Revising and extending the uppaal communication mechanism
SC'12 Proceedings of the 11th international conference on Software Composition
Observation Based System Security
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Maurer Computers with Single-Thread Control
Fundamenta Informaticae
Towards Integrated Verification of Timed Transition Models
Fundamenta Informaticae - APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD'04)
Petri Net Semantics of the Finite π-calculus Terms
Fundamenta Informaticae
Fundamenta Informaticae
Stochastic Graph Transformation Systems
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Computation of the greatest simulations and bisimulations between fuzzy automata
Fuzzy Sets and Systems
Refinement in Finite State Machine Testing
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Event Structures for Arbitrary Disruption
Fundamenta Informaticae
Relating Communicating Processes with Different Interfaces
Fundamenta Informaticae
Exploiting Labels in Structural Operational Semantics
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Some Remarks on Sets of Communicating Sequential Processes in Topological Rough Set Framework
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Fundamenta Informaticae
From the π-calculus to flat GHC
Proceedings of the 14th symposium on Principles and practice of declarative programming
Modelling with Hierarchical Object Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 2
Towards an Ontology of Approximate Reason
Fundamenta Informaticae - Concurrency Specification and Programming Workshop (CS&P'2001)
Comparing Refinements for Failure and Bisimulation Semantics
Fundamenta Informaticae
Process Algebras for Network Communication
Fundamenta Informaticae
Behaviour Abstraction for Communicating Sequential Processes
Fundamenta Informaticae
On Topological Hierarchies of Temporal Properties
Fundamenta Informaticae
Formalisation of a Production System Modelling Language The operational semantics of χ Core
Fundamenta Informaticae
Representing Hand-Shake Channel Communication in the Calculus of Cause-Effect Structures
Fundamenta Informaticae
Bisimulation and Open Maps for Timed Transition Systems
Fundamenta Informaticae
On the Relationships among four Timed Process Algebras
Fundamenta Informaticae
Partition refinement of Component Interaction Automata
Science of Computer Programming
An Acceptance Vector Semantics for Path Programs
Fundamenta Informaticae
Full Abstractness of a Metric Semantics for Action Refinement
Fundamenta Informaticae
Parameterized Structured Operational Semantics
Fundamenta Informaticae
Truth of Duration Calculus Formulae in Timed Frames
Fundamenta Informaticae
Discrete Time Process Algebra: Absolute Time, Relative Time And Parametric Time
Fundamenta Informaticae
Atomicity And Concurrency Control In Process Calculi
Fundamenta Informaticae
On the Decidability of Non-Interleaving Process Equivalences
Fundamenta Informaticae
Petri Nets, Commutative Context-Free Grammars, and Basic Parallel Processes
Fundamenta Informaticae
A Concurrent Functional Semantics for a Process Algebra Based on Action Systems
Fundamenta Informaticae
The Topos of Labelled Trees: A Categorical Semantics for SCCS
Fundamenta Informaticae
EQUATIONAL TERM GRAPH REWRITING
Fundamenta Informaticae
ON FOUR PARTIAL ORDERING SEMANTICS FOR A PROCESS CALCULUS
Fundamenta Informaticae
Rule formats for distributivity
Theoretical Computer Science
Combining Ccs And Petri Nets Via Structural Axioms
Fundamenta Informaticae
Deadlock-freedom in component systems with architectural constraints
Formal Methods in System Design
Conflict-preserving abstraction of discrete event systems using annotated automata
Discrete Event Dynamic Systems
Modelling and analysis of the split phase multi-channel MAC approach
Proceedings of the 15th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems
A stochastic semantics for bioambients
PaCT'07 Proceedings of the 9th international conference on Parallel Computing Technologies
The saga of the axiomatization of parallel composition
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Equivalence checking for infinite systems using parameterized Boolean equation systems
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Is observational congruence axiomatisable in equational horn logic?
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
A distributed maximal scheduler for strong fairness
DISC'07 Proceedings of the 21st international conference on Distributed Computing
A modelling method for rigorous and automated design of large-scale industrial systems
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Undecidability of 2-label BPP equivalences and behavioral type systems for the π-calculus
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
Ready simulation for concurrency: it's logical!
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
Behavioural contracts with request-response operations
Science of Computer Programming
Bisimulation for Quantum Processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
A theory of history dependent abstractions for learning interface automata
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Investigating time properties of interrupt-driven programs
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
Counterexample guided synthesis of monitors for realizability enforcement
ATVA'12 Proceedings of the 10th international conference on Automated Technology for Verification and Analysis
Design and analysis of cloud-based architectures with KLAIM and maude
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Open bisimulation for quantum processes
TCS'12 Proceedings of the 7th IFIP TC 1/WG 202 international conference on Theoretical Computer Science
Unique parallel decomposition in branching and weak bisimulation semantics
TCS'12 Proceedings of the 7th IFIP TC 1/WG 202 international conference on Theoretical Computer Science
TCS'12 Proceedings of the 7th IFIP TC 1/WG 202 international conference on Theoretical Computer Science
Compositional abstraction techniques for probabilistic automata
TCS'12 Proceedings of the 7th IFIP TC 1/WG 202 international conference on Theoretical Computer Science
Towards the verification of adaptable processes
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
On the semantics of Markov automata
Information and Computation
A tool for the synthesis of cryptographic orchestrators
Proceedings of the Workshop on Model-Driven Security
Fuzzy relation equations and subsystems of fuzzy transition systems
Knowledge-Based Systems
Incremental formal verification for model refining
Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation
Modeling robot behavior with CCL
SIMPAR'12 Proceedings of the Third international conference on Simulation, Modeling, and Programming for Autonomous Robots
Mechanized semantics for compiler verification
CPP'12 Proceedings of the Second international conference on Certified Programs and Proofs
Proving concurrent noninterference
CPP'12 Proceedings of the Second international conference on Certified Programs and Proofs
Proceeings of the 2nd International Workshop on Worst-Case Traversal Time
Checking NFA equivalence with bisimulations up to congruence
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
BPA bisimilarity is EXPTIME-hard
Information Processing Letters
Model checking with probabilistic tabled logic programming
Theory and Practice of Logic Programming
Model-Based implementation of parallel real-time systems
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
On unique decomposition of processes in the applied π-calculus
FOSSACS'13 Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures
The quest for minimal quotients for probabilistic automata
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
The duality of state and observation in probabilistic transition systems
TbiLLC'11 Proceedings of the 9th international conference on Logic, Language, and Computation
International Journal of Information and Communication Technology
Large-scale bisimulation of RDF graphs
Proceedings of the Fifth Workshop on Semantic Web Information Management
CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency
Journal of the ACM (JACM)
Incremental graph pattern matching
ACM Transactions on Database Systems (TODS)
Experimentally driven verification of synthetic biological circuits
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Proceedings of the Emerging M&S Applications in Industry & Academia / Modeling and Humanities Symposium
Combining declarative and procedural views in the specification and analysis of product families
Proceedings of the 17th International Software Product Line Conference co-located workshops
A synthetic operational account of call-by-need evaluation
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
Efficiency and precision trade-offs in graph summary algorithms
Proceedings of the 17th International Database Engineering & Applications Symposium
A cylinder computation model for many-core parallel computing
Theoretical Computer Science
ACM Computing Surveys (CSUR)
A uniform definition of stochastic process calculi
ACM Computing Surveys (CSUR)
Required behavior of sequence diagrams: Semantics and conformance
ACM Transactions on Software Engineering and Methodology (TOSEM)
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
BICS'13 Proceedings of the 6th international conference on Advances in Brain Inspired Cognitive Systems
Quantum process calculus for linear optical quantum computing
RC'13 Proceedings of the 5th international conference on Reversible Computation
BNCOD'13 Proceedings of the 29th British National conference on Big Data
On the length of homing sequences for nondeterministic finite state machines
CIAA'13 Proceedings of the 18th international conference on Implementation and Application of Automata
Validating library usage interactively
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
Theoretical Computer Science
Strong simulation: Capturing topology in graph pattern matching
ACM Transactions on Database Systems (TODS)
Circular coinduction in coq using bisimulation-up-to techniques
ITP'13 Proceedings of the 4th international conference on Interactive Theorem Proving
Distributed ECA rules for data management policies
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Symbolic control of stochastic switched systems via finite abstractions
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
A coinductive calculus for asynchronous side-effecting processes
Information and Computation
Information and Computation
Synchronous digital circuits as functional programs
ACM Computing Surveys (CSUR)
Algebraic program semantics for supercomputing
Theories of Programming and Formal Methods
Theories of Programming and Formal Methods
Pre-orders for reasoning about stability properties with respect to input of hybrid systems
Proceedings of the Eleventh ACM International Conference on Embedded Software
Algorithms for checking channel passing in web service choreography
Frontiers of Computer Science: Selected Publications from Chinese Universities
Specification and Verification of Concurrent Programs Through Refinements
Journal of Automated Reasoning
Using transition systems to describe and predict the behaviour of structured excitable media
Natural Computing: an international journal
A Connection Between Concurrency and Language Theory
Electronic Notes in Theoretical Computer Science (ENTCS)
History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Automata-Theoretic Semantics of Idealized Algol with Passive Expressions
Electronic Notes in Theoretical Computer Science (ENTCS)
Distributed Probabilistic and Quantum Strategies
Electronic Notes in Theoretical Computer Science (ENTCS)
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
A semantic analysis of key management protocols for wireless sensor networks
Science of Computer Programming
Nondeterministic automata: Equivalence, bisimulations, and uniform relations
Information Sciences: an International Journal
Technical communique: Bisimilarity enforcing supervisory control for deterministic specifications
Automatica (Journal of IFAC)
Behavioural equivalences and interference metrics for mobile ad-hoc networks
Performance Evaluation
The Journal of Supercomputing
An approach for modeling and detecting software performance antipatterns based on first-order logics
Software and Systems Modeling (SoSyM)
Bisimulation equivalence and regularity for real-time one-counter automata
Journal of Computer and System Sciences
LTL receding horizon control for finite deterministic systems
Automatica (Journal of IFAC)
Model-Driven Approaches to Service Composition
International Journal of Adaptive, Resilient and Autonomic Systems
Simulation for lattice-valued doubly labeled transition systems
International Journal of Approximate Reasoning
Bisimilarity of Pushdown Automata is Nonelementary
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
On the Behaviours Produced by Instruction Sequences under Execution
Fundamenta Informaticae
Informational Analysis of Security and Integrity
Fundamenta Informaticae - Concurrency Specification and Programming CS&P
Quantification of Positive and Negative Attacker's Information
Fundamenta Informaticae - Concurrency Specification and Programming CS&P
Rough Net Structures-Example of Information System
Fundamenta Informaticae - To Andrzej Skowron on His 70th Birthday
Proving Theorems by Program Transformation
Fundamenta Informaticae - To Andrzej Skowron on His 70th Birthday
Fundamenta Informaticae - Concurrency, Specification and Programming
Formal Description of Alvis Language with α0 System Layer
Fundamenta Informaticae - Dedicated to the Memory of Professor Manfred Kudlek
Adding coinduction into discrete mathematics
Journal of Computing Sciences in Colleges
Hi-index | 0.11 |