POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An algebraic model for the parallel interpretation of equationally defined functions (abstract)
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Viewing object as patterns of communicating agents
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
A logical theory of concurrent objects
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Structured analysis—formal design, using stream and object oriented formal specifications
Conference proceedings on Formal methods in software development
The Specification and Verified Decomposition of System Requirements Using CSP
IEEE Transactions on Software Engineering
Mechanizing CSP Trace Theory in Higher Order Logic
IEEE Transactions on Software Engineering
Separating concurrent languages with categories of language embeddings
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Compositional reachability analysis using process algebra
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Debuggable concurrency extensions for standard ML
PADD '91 Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging
Arrays and pointers considered harmful
ACM SIGPLAN Notices
DROL: an object-oriented programming language for distributed real-time systems
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
A formalism for real-time concurrent object-oriented computing
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
A comprehensive study of the complexity of multiparty interaction
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Elements of interaction: Turing award lecture
Communications of the ACM
The concurrency workbench: a semantics-based tool for the verification of concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
A formal definition of priority in CSP
ACM Transactions on Programming Languages and Systems (TOPLAS)
A sort inference algorithm for the polyadic &pgr;-calculus
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An approach to multi-paradigm controller synthesis from timing diagram specifications
EURO-DAC '92 Proceedings of the conference on European design automation
An operational semantics for I/O in a lazy functional language
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Specification of multimedia composition and a visual programming environment
MULTIMEDIA '93 Proceedings of the first ACM international conference on Multimedia
Enhancing compositional reachability analysis with context constraints
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Regular types for active objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
Decidability of bisimulation equivalence for process generating context-free languages
Journal of the ACM (JACM)
Higher-order concurrent programs with finite communication topology (extended abstract)
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Compositional specification and verification of distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Coordinating first-order multiparty interactions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Incremental formal design verification
ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design
HSIS: a BDD-based environment for formal verification
DAC '94 Proceedings of the 31st annual Design Automation Conference
Time-constrained buffer specifications in CSP + T and timed CSP
ACM Transactions on Programming Languages and Systems (TOPLAS)
Extended timing diagrams as a specification language
EURO-DAC '94 Proceedings of the conference on European design automation
Design tool encapsulation—all problems solved?
EURO-DAC '94 Proceedings of the conference on European design automation
A process algebra interpretation of a verification oriented overlanguage of VHDL
EURO-DAC '94 Proceedings of the conference on European design automation
Verifying infinite state processes with sequential and parallel composition
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Structured operational semantics as a specification language
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Total correctness by local improvement in program transformation
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Journal of the ACM (JACM)
Three logics for branching bisimulation
Journal of the ACM (JACM)
A concurrency analysis tool suite for Ada programs: rationale, design, and preliminary experience
ACM Transactions on Software Engineering and Methodology (TOSEM)
Observer-A Concept for Formal On-Line Validation of Distributed Systems
IEEE Transactions on Software Engineering
Graph models for reachability analysis of concurrent programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Semantic analysis of shared-memory concurrent languages using abstract model-checking
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Liveness conditions in model-based service specifications: a case study
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Pi-calculus, dialogue games and full abstraction PCF
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
A native process algebra for VHDL
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
Testing real-time constraints in a process algebraic setting
Proceedings of the 17th international conference on Software engineering
Distinguishing tests for nondeterministic and probabilistic machines
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
An efficient state space generation for analysis of real-time systems
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
An incremental approach to structural testing of concurrent software
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
A comprehensive study of the complexity of multiparty interaction
Journal of the ACM (JACM)
Total correctness by local improvement in the transformation of functional programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
OPSIS: a view mechanism for software processes which supports their evolution and reuse
Proceedings of the 18th international conference on Software engineering
Checking subsystem safety properties in compositional reachability analysis
Proceedings of the 18th international conference on Software engineering
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
First-class synchronization barriers
Proceedings of the first ACM SIGPLAN international conference on Functional programming
A theory of weak bisimulation for core CML
Proceedings of the first ACM SIGPLAN international conference on Functional programming
A query language and optimization techniques for unstructured data
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
Programming language semantics
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
Modalities in analysis and verification
ACM Computing Surveys (CSUR)
Context constraints for compositional reachability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Where Do Operations Come From? A Multiparadigm Specification Technique
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
The reflexive CHAM and the join-calculus
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Bisimilarity for a first-order calculus of objects with subtyping
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Strategic directions in concurrency research
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
A discipline of multiprogramming
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Programming languages, analysis tools, and concurrency theory
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Comparing models of computation
Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design
Automated logical verification based on trace abstractions
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Algebraic approaches to nondeterminism—an overview
ACM Computing Surveys (CSUR)
Model-checking of real-time systems: a telecommunications application: experience report
ICSE '97 Proceedings of the 19th international conference on Software engineering
Proving specifications of tasking systems using Ada/TL
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Distributed software engineering
ICSE '94 Proceedings of the 16th international conference on Software engineering
An integrated method for effective behaviour analysis of distributed systems
ICSE '94 Proceedings of the 16th international conference on Software engineering
Formal models of distributed memory management
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Self-applicable partial evaluation for the pi-calculus
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Partial-evaluation techniques for concurrent programs
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Derivation of formal representations from process-based specification and implementation models
ISSS '97 Proceedings of the 10th international symposium on System synthesis
Comparing the expressive power of the synchronous and the asynchronous &pgr;-calculus
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Automatic placement of communications in mesh-partitioning parallelization
PPOPP '97 Proceedings of the sixth ACM SIGPLAN symposium on Principles and practice of parallel programming
A calculus for cryptographic protocols: the spi calculus
Proceedings of the 4th ACM conference on Computer and communications security
Verification of liveness properties using compositional reachability analysis
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
A design framework for Internet-scale event observation and notification
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Data flow analysis is model checking of abstract interpretations
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Combinatory formulations of concurrent languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Synthesis of concurrent systems with many similar processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Mobile Networks and Applications - Special issue: protocols for mobile environments
Logic based modeling and analysis of workflows
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Extracting schema from semistructured data
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Automatically closing open reactive programs
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
Parallel Algorithms for Relational Coarsest Partition Problems
IEEE Transactions on Parallel and Distributed Systems
Designing Control Logic for Counterflow Pipeline Processor Using Petri Nets
Formal Methods in System Design
Relative Liveness: From Intuition to Automated Verification
Formal Methods in System Design
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Deriving Petri Nets from Finite Transition Systems
IEEE Transactions on Computers
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Fold and unfold for program semantics
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
A Formal Verification Environment for Railway Signaling System Design
Formal Methods in System Design - Special issue: industrial critical systems
A Consistent Causality-Based View on a Timed Process AlgebraIncluding Urgent Interactions
Formal Methods in System Design - Special issue: industrial critical systems
A denotational semantics for a process-based simulation language
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Composition and refinement of discrete real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Checking safety properties using compositional reachability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering
IEEE Transactions on Software Engineering
Verification of an audio control protocol within real time process algebra
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Behavioral analysis of software architectures using LTSA
Proceedings of the 21st international conference on Software engineering
Workflow, transactions and datalog
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Trace-Based Abstract Interpretation of Operational Semantics
Lisp and Symbolic Computation
Model-Based Verification of a Security Protocol for Conditional Access to Services
Formal Methods in System Design
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
Controlling interference in ambients
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
ACM Transactions on Programming Languages and Systems (TOPLAS)
From Algol to polymorphic linear lambda-calculus
Journal of the ACM (JACM)
Let's evaluate performance algebraically
ACM Computing Surveys (CSUR)
Semantics study and reality of computing
ACM Computing Surveys (CSUR)
Delay-Insensitivity and Semi-Modularity
Formal Methods in System Design
Mechanisms for specifying communication behavior in object oriented database systems
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Behavioral equivalence in the polymorphic pi-calculus
Journal of the ACM (JACM)
An Efficient State Space Generation for the Analysis of Real-Time Systems
IEEE Transactions on Software Engineering
Toward a theory of maximally concurrent programs (shortened version)
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing
Proceedings of the 2nd international workshop on Software and performance
Visual representation of stochastic process algebra models
Proceedings of the 2nd international workshop on Software and performance
A model for comparing the space usage of lazy evaluators
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Static checking of system behaviors using derived component assumptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
Systems, interactions, and macrotheory
ACM Transactions on Computer-Human Interaction (TOCHI) - Special issue on human-computer interaction in the new millennium, Part 2
Automated systematic testing for constraint-based interactive services
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
On the formalization of architectural types with process algebras
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Mobile values, new names, and secure communication
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A generic type system for the Pi-calculus
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A compiler for analyzing cryptographic protocols using noninterference
ACM Transactions on Software Engineering and Methodology (TOSEM)
Logic Based Abstractions of Real-Time Systems
Formal Methods in System Design
The usage of stochastic processes in embedded system specifications
Proceedings of the ninth international symposium on Hardware/software codesign
Debugging agent interactions: a case study
Proceedings of the 2001 ACM symposium on Applied computing
Dynamic coordination architecture through the use of reflection
Proceedings of the 2001 ACM symposium on Applied computing
Dynamic Scheduling and Fault-Tolerance: Specification andVerification
Real-Time Systems
Generation of visitor components that implement program transformations
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
High level transition systems for communicating agents
Concurrent object-oriented programming and petri nets
Parallel state space construction for model-checking
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
A workbench for synthesising behaviour models from scenarios
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Enhanced operational semantics: a tool for describing and analyzing concurrent systems
ACM Computing Surveys (CSUR)
Localized algorithms in wireless ad-hoc networks: location discovery and sensor exposure
MobiHoc '01 Proceedings of the 2nd ACM international symposium on Mobile ad hoc networking & computing
Forced simulation: A technique for automating component reuse in embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Automatic synthesis of deadlock free connectors for COM/DCOM applications
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Bisimulation congruences in safe ambients
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Transformations of CCP programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Team accessible methods for production of safety critical hypermedia documentation
IPCC/SIGDOC '00 Proceedings of IEEE professional communication society international professional communication conference and Proceedings of the 18th annual ACM international conference on Computer documentation: technology & teamwork
Performance Evaluation of Mobile Processes via Abstract Machines
IEEE Transactions on Software Engineering
Connotations of problem solving
ACM SIGSOFT Software Engineering Notes
Fine-Grained Multithreading with Process Calculi
IEEE Transactions on Computers - Special issue on the parallel architecture and compilation techniques conference
Closed Partition Lattice and Machine Decomposition
IEEE Transactions on Computers - Special issue on fault-tolerant embedded systems
Efficient and User-Friendly Verification
IEEE Transactions on Computers
On the serializability of transactions in shared dataspaces with temporary data
Proceedings of the 2002 ACM symposium on Applied computing
An infrastructure language for open nets
Proceedings of the 2002 ACM symposium on Applied computing
Objects and classes in Algol-like languages
Information and Computation - FOOL V
Weak bisimilarity between finite-state systems and BPA or normed BPP is decidable in polynomial time
Theoretical Computer Science
Formal methods for distributed processing
Formal methods for distributed processing
Actors: a model for reasoning about open distributed systems
Formal methods for distributed processing
Behavioural typing for objects and process calculi
Formal methods for distributed processing
Readings in hardware/software co-design
Design of embedded systems: formal models, validation, and synthesis
Readings in hardware/software co-design
Language-based performance prediction for distributed and mobile systems
Information and Computation
A fully abstract denotational semantics for the π-calculus
Theoretical Computer Science
CSP, partial automata, and coalgebras
Theoretical Computer Science
The continuum as a final coalgebra
Theoretical Computer Science
Coalgebra morphisms subsume open maps
Theoretical Computer Science
The theory of interactive generalized semi-Markov processes
Theoretical Computer Science
Testing preorders for probabilistic processes can be characterized by simulations
Theoretical Computer Science
Incremental Integration Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Bisimulation indexes and their applications
Theoretical Computer Science
A causal semantics for CCS via rewriting logic
Theoretical Computer Science
Additive models of probabilistic processes
Theoretical Computer Science
Towards a primitive higher order calculus of broadcasting systems
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
On the expressive power of temporal concurrent constraint programming languages
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Information organization and databases
Type-Safe linking with recursive DLLs and shared libraries
ACM Transactions on Programming Languages and Systems (TOPLAS)
Composable semantics for model-based notations
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Tabling for non-monotonic programming
Annals of Mathematics and Artificial Intelligence
A practical approach to implementing real-time semantics
Annals of Software Engineering
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
The Real-Time Process Algebra (RTPA)
Annals of Software Engineering
A High-Level Approach in Network Management
Journal of Network and Systems Management
Testing congruence for mobile processes
Journal of Computer Science and Technology
A Formal Framework for Viewpoint Consistency
Formal Methods in System Design
Formula-Dependent Equivalence for Compositional CTL Model Checking
Formal Methods in System Design
IEEE Software
A Formal Model for Module Interconnection Languages
IEEE Transactions on Software Engineering
A New Structural Induction Theorem for Rings of Temporal Petri Nets
IEEE Transactions on Software Engineering
Specification and Validation of Control-Intensive IC's in hopCP
IEEE Transactions on Software Engineering
Making Changes to Formal Specifications: Requirements and an Example
IEEE Transactions on Software Engineering
Hierarchical Structuring of Superposed GSPNs
IEEE Transactions on Software Engineering
A Decomposition of a Formal Specification: An Improved Constraint-Oriented Method
IEEE Transactions on Software Engineering
Analysis of security protocols as open systems
Theoretical Computer Science
Static analysis of real-time component-based systems configurations
Science of Computer Programming - Special issue on coordination languages and architectures
Comparing coordination models and architectures using embeddings
Science of Computer Programming - Special issue on coordination languages and architectures
Automatically verifying an object-oriented specification of the steam-boiler system
Science of Computer Programming - Special issure on formal methods for industrial critical systems (FMICS 2000)
A comparison of three authentication properties
Theoretical Computer Science - Special issue: Algebraic methodology and software technology
Composition, decomposition and model checking of pushdown processes
Nordic Journal of Computing
A logical view of concurrent constraint programming
Nordic Journal of Computing
Games and logics for a noninterleaving bisimulation
Nordic Journal of Computing
Probabilistic simulations for probabilistic processes
Nordic Journal of Computing
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
A Purely Logical Account of Sequentiality in Proof Search
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Approximating Weak Bisimulation on Basic Process Algebras
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Expressiveness of Updatable Timed Automata
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Deriving Symbolic Representations from Stochastic Process Algebras
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Weakest Congruence Results Concerning "Any-Lock"
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Vacuity Checking in the Modal Mu-Calculus
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Refusal Simulation and Interactive Games
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
On Model Checking Synchronised Hardware Circuits
ASIAN '00 Proceedings of the 6th Asian Computing Science Conference on Advances in Computing Science
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Transforming Processes to Check and Ensure Information Flow Security
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
A Timed Calculus for Distributed Objects with Clocks
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Interface-Based Protocol Specification of Open Systems using PSL
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
A Family of Nested Query Languages for Semi-structured Data
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
A Calculus for Mobile Network Systems
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Abstract Specification in Object-Z and CSP
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Testing Transition Systems: An Annotated Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
On Coherence Properties in Team Rewriting Models of Concurrency
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Undecidability of Weak Bisimilarity for Pushdown Processes
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Traces, Pomsets, Fairness and Full Abstraction for Communicating Processes
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Expressive Power of Temporal Logics
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Decidability of Strong Bisimilarity for Timed BPP
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
HOPLA-A Higher-Order Process Language
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Alphabet-Based Synchronisation is Exponentially Cheaper
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Equivalence-Checking with One-Counter Automata: A Generic Method for Proving Lower Bounds
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Note on the Tableau Technique for Commutative Transition Systems
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
On Compositional Reasoning in the Spi-calculus
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Weak Bisimilarity and Open Maps
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Coordinating Mobile Object-Oriented Code
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Formalizing Properties of Mobile Agent Systems
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Operational Semantics for Coordination in Paradigm
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Exogenous and Endogenous Extensions of Architectural Types
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Automatic Determination of Communication Topologies in Mobile Systems
SAS '98 Proceedings of the 5th International Symposium on Static Analysis
Decidability Results for the Propositional Fluent Calculus
CL '00 Proceedings of the First International Conference on Computational Logic
Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Formula Based Abstractions of Transition Systems for Real-Time Model Checking
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
The Box Algebra - A Model of Nets and Process Expressions
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Axiomatizing the Least Fixed Point Operation and Binary Supremum
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Non-commutativity and MELL in the Calculus of Structures
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Derivation of Petri Net Performance Models from UML Specifications of Communications Software
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Behavioural Language Compilation with Virtual Hardware Management
FPL '00 Proceedings of the The Roadmap to Reconfigurable Computing, 10th International Workshop on Field-Programmable Logic and Applications
Axiomatising Asynchronous Process Calculi (abstract)
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Tile Transition Systems as Structured Coalgebras
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Structural Refinement in Object-Z/CSP
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Modular Verification for a Class of PLTL Properties
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
A Process Compensation Language
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Enhanced Operational Semantics in Systems Biology
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
A Formal Treatment of the SACReD Protocol for Multidatabase Web Transactions
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
On Simulation-Checking with Sequential Systems
ASIAN '00 Proceedings of the 6th Asian Computing Science Conference on Advances in Computing Science
Towards a Foundation of Component-Oriented Software Reference Models
GCSE '00 Proceedings of the Second International Symposium on Generative and Component-Based Software Engineering-Revised Papers
UnQL: a query language and algebra for semistructured data based on structural recursion
The VLDB Journal — The International Journal on Very Large Data Bases
Evaluating real-time software specification languages
Computer Standards & Interfaces
Modeling and verification of parallel processes
Testing transition systems: an annotated bibliography
Modeling and verification of parallel processes
Information processing and technology
A trace model for pointers and objects
Programming methodology
Automated verification using deduction, exploration, and abstraction
Programming methodology
Engineering of distributed control systems
Integrating timed condition/event systems and timed automata for the verification of hybrid systems
Engineering of distributed control systems
Guided synthesis of control programs using UPPAAL
Nordic Journal of Computing
Parametric real-time model checking using splitting trees
Nordic Journal of Computing
Distributed implementation of a process-algebra based programming language for embedded systems
Nordic Journal of Computing
IEEE Transactions on Very Large Scale Integration (VLSI) Systems - Special section on system-level interconnect prediction (SLIP)
Journal of Systems and Software
Evolvable concurrent processes
Computer Standards & Interfaces - Special issue: Adaptable software architectures
Relative liveness: from intuition to automated verification
ASYNC '95 Proceedings of the 2nd Working Conference on Asynchronous Design Methodologies
An Analysis of Determinacy Using a Trace-Theoretic Model of Asynchronous Circuits
ASYNC '03 Proceedings of the 9th International Symposium on Asynchronous Circuits and Systems
Proving testing preorders for process algebra descriptions
EDTC '95 Proceedings of the 1995 European conference on Design and Test
An Abstraction Algorithm for the Verification of Level-Sensitive Latch-Based Netlists
Formal Methods in System Design
A Petri net-based model for web service composition
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
On the success of stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
A comparison of performance evaluation process algebra and generalized stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Stochastic Petri net semantics for stochastic process algebras
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Giving a net semantics to Markovian process algebra
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
From process algebra to visual language
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Formalising Process Scheduling Requirements for an Aircraft Operational Flight Program
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Relating CHAM Descriptions of Software Architectures
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
A lattice-theoretic characterization of safety and liveness
Proceedings of the twenty-second annual symposium on Principles of distributed computing
A semantic theory for value-passing processes based on the late approach
Information and Computation
Bisimulation congruence of ℵ-calculus
Information and Computation
Behaviour model elaboration using partial labelled transition systems
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Fluent model checking for event-based systems
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Composing architectural styles from architectural primitives
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Expressing Performance Issues in Web Application Design
ICCI '03 Proceedings of the 2nd IEEE International Conference on Cognitive Informatics
Testability analysis of hierarchical finite state machines
EURO-DAC '91 Proceedings of the conference on European design automation
Specifying reactive systems by abstract events
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
An incremental approach to reachability analysis of distributed programs
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Reflective specification: applying a reflective language to formal specification
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Comparing semantic frameworks for coordination: on the conformance issue for coordination media
Proceedings of the 2003 ACM symposium on Applied computing
Equational reasoning about LOTOS specifications: a rewriting approach
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Theoretical Computer Science
Embedding untimed into timed process algebra: the case for explicit termination
Mathematical Structures in Computer Science
The expressive power of urgent, lazy and busy-waiting actions in timed processes
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Elementary structures in process theory (1): Sets with renaming
Mathematical Structures in Computer Science
On the bisimulation proof method
Mathematical Structures in Computer Science
A simple process algebra based on atomic actions with resources
Mathematical Structures in Computer Science
Algorithm + strategy = parallelism
Journal of Functional Programming
Using Software Architecture for Code Testing
IEEE Transactions on Software Engineering
Inductively Verifying Invariant Properties of Parameterized Systems
Automated Software Engineering
Probabilistic weak simulation is decidable in polynomial time
Information Processing Letters
Model-Based Performance Prediction in Software Development: A Survey
IEEE Transactions on Software Engineering
A simple framework for real-time cryptographic protocol analysis with compositional proof rules
Science of Computer Programming - Special issue on 12th European symposium on programming (ESOP 2003)
A model-checking verification environment for mobile processes
ACM Transactions on Software Engineering and Methodology (TOSEM)
QoS evaluation of IP telephony services: a specification language based simulation software tool
Systems Analysis Modelling Simulation
Implementing Coloured Petri Nets Using a Functional Programming Language
Higher-Order and Symbolic Computation
Kill-safe synchronization abstractions
Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
Theoretical Computer Science - Logic, semantics and theory of programming
Relating communicating processes with different interfaces
Fundamenta Informaticae
A new time extension to φ-calculus based on time consuming transition semantics
Languages for system specification
Efficient Verification of Sequential and Concurrent C Programs
Formal Methods in System Design
A process-algebraic approach for the analysis of probabilistic noninterference
Journal of Computer Security
A framed temporal logic programming language
Journal of Computer Science and Technology
Towards a theory of bisimulation for the higher-order process calculi
Journal of Computer Science and Technology
Process algebra approach to reasoing about concurrent actions
Journal of Computer Science and Technology
Model-Based Evaluation: From Dependability to Security
IEEE Transactions on Dependable and Secure Computing
Merging partial behavioural models
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Web services: a process algebra approach
Proceedings of the 2nd international conference on Service oriented computing
Keeping track of the latest gossip in a distributed system
Distributed Computing
Theoretical Computer Science
On the expressive power of movement and restriction in pure mobile ambients
Theoretical Computer Science - Special issue: Foundations of wide area network computing
Towards a behavioural theory of access and mobility control in distributed systems
Theoretical Computer Science - Special issue: Foundations of wide area network computing
A hierarchy of probabilistic system types
Theoretical Computer Science - Selected papers of CMCS'03
Bisimilarity for the Region Calculus
Higher-Order and Symbolic Computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Checking of models built using a graphically based formal modelling language
Journal of Systems and Software - Special issue: Computer software & applications
Distributed Computing - Special issue: Verification of lazy caching
On bisimulations for the spi calculus
Mathematical Structures in Computer Science
CCS with Hennessy's merge has no finite-equational axiomatization
Theoretical Computer Science - Expressiveness in concurrency
A hierarchy of failures-based models: theory and application
Theoretical Computer Science - Expressiveness in concurrency
On the computational strength of pure ambient calculi
Theoretical Computer Science - Expressiveness in concurrency
Weak bisimilarity and regularity of context-free processes is EXPTIME-hard
Theoretical Computer Science - Expressiveness in concurrency
Decidability of infinite-state timed CCP processes and first-order LTL
Theoretical Computer Science - Expressiveness in concurrency
Logical verification and equational verification
ACM SIGACT News
A form-based meta-model for software composition
Science of Computer Programming - Special issue on new software composition concepts
Component Verification with Automatically Generated Assumptions
Automated Software Engineering
Programming language semantics
Encyclopedia of Computer Science
Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction
Discrete Event Dynamic Systems
Generating diagnostic information for behavioral preorders
Distributed Computing
A fully abstract trace model for dataflow and asynchronous networks
Distributed Computing
Theoretical Computer Science
Simulation relations for alternating Büchi automata
Theoretical Computer Science
A principled exploration of coordination models
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Modeling Erlang in the pi-calculus
Proceedings of the 2005 ACM SIGPLAN workshop on Erlang
A calculus for concurrent system with higher-order streaming communication
Science of Computer Programming - Special issue on system and software architectures(IWSSA'04)
Resolving Race Conditions in Asynchronous Partial Order Scenarios
IEEE Transactions on Software Engineering
Formal specification of multi-agent e-barter systems
Science of Computer Programming
Systems Specification by Basic Protocols
Cybernetics and Systems Analysis
A unified description formalism for complex HCI-systems
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
A Synchronous Process Calculus for Service Costs
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
A theory of stochastic systems: part II: process algebra
Information and Computation
Using heuristic search for finding deadlocks in concurrent systems
Information and Computation
Compositional analysis for verification of parameterized systems
Theoretical Computer Science - Tools and algorithms for the construction and analysis of systems (TACAS 2003)
Towards an algebraic theory of typed mobile processes
Theoretical Computer Science - Automata, languages and programming: Logic and semantics (ICALP-B 2004)
Petri net semantics of the finite π-calculus terms
Fundamenta Informaticae
Dynamic and formal verification of embedded systems: a comparative survey
International Journal of Parallel Programming
Visual security protocol modeling
NSPW '05 Proceedings of the 2005 workshop on New security paradigms
Fairness of components in system computations
Theoretical Computer Science - Expressiveness in concurrency
Leader election in rings of ambient processes
Theoretical Computer Science - Expressiveness in concurrency
Modeling component connectors in Reo by constraint automata
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
On the expressiveness of timed coordination models
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
Probabilistic temporal logics via the modal mu-calculus
Theoretical Computer Science
Towards integrated verification of timed transition models
Fundamenta Informaticae - Special issue on application of concurrency to system design (ACSD'04)
Towards automatic verification of Erlang programs by π-calculus translation
Proceedings of the 2006 ACM SIGPLAN workshop on Erlang
Probabilistic event structures and domains
Theoretical Computer Science - Concurrency theory (CONCUR 2004)
Two case studies of semantics execution in Maude: CCS and LOTOS
Formal Methods in System Design
CCML: A Novel Service Composition Language
WI-IATW '06 Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology
Behaviour Abstraction for Communicating Sequential Processes
Fundamenta Informaticae
Event Structures for Arbitrary Disruption
Fundamenta Informaticae
Optimization techniques for BDD-based bisimulation computation
Proceedings of the 17th ACM Great Lakes symposium on VLSI
Electronic Notes in Theoretical Computer Science (ENTCS)
Operational semantics for Petri net components
Theoretical Computer Science
EWD: A metamodeling driven customizable multi-MoC system modeling framework
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Configurations of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Relational Concurrent Refinement with Internal Operations
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Molecular Biology Done in CCS-R
Electronic Notes in Theoretical Computer Science (ENTCS)
HOPS: A Prototypical Specification Tool for Interactive Systems
Interactive Systems. Design, Specification, and Verification
A Notion of Glue Expressiveness for Component-Based Systems
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Game Characterizations of Process Equivalences
APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
Causal Semantics for the Algebra of Connectors
Formal Methods for Components and Objects
Time and Fairness in a Process Algebra with Non-blocking Reading
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
Deciding Substitutability of Services with Operating Guidelines
Transactions on Petri Nets and Other Models of Concurrency II
On the Expressive Power of Restriction and Priorities in CCS with Replication
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Reactive Systems, Barbed Semantics, and the Mobile Ambients
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Formal Aspects in Security and Trust
Petri Net Security Checker: Structural Non-interference at Work
Formal Aspects in Security and Trust
Distinguing Non-deterministic Timed Finite State Machines
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
A MuDDy Experience---ML Bindings to a BDD Library
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
Testing Finitary Probabilistic Processes
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
On the Relationship between η-Calculus and Finite Place/Transition Petri Nets
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Secure Enforcement for Global Process Specifications
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Electronic Notes in Theoretical Computer Science (ENTCS)
Interface Automata with Complex Actions
Electronic Notes in Theoretical Computer Science (ENTCS)
An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types
Electronic Notes in Theoretical Computer Science (ENTCS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Complexity of decision problems for mixed and modal specifications
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Deriving bisimulation congruences in the presence of negative application conditions
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Compositional methods for information-hiding
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Computational thinking in biology
Transactions on computational systems biology VIII
Semantics for structured systems modelling and simulation
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
Specification and verification of harmonized business-process collaborations
Information Systems Frontiers
Compliance preorders for web services
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
Unifying theories of interrupts
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
On the expressiveness and decidability of higher-order process calculi
Information and Computation
CEFP'09 Proceedings of the Third summer school conference on Central European functional programming school
Future Generation Computer Systems
Model-checking games for fixpoint logics with partial order models
Information and Computation
Protocol mediation for adaptation in semantic web services
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Flexible Plan Verification: Feasibility Results
Fundamenta Informaticae - RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
What will it take? A view on adoption of model-based methods in practice
Software and Systems Modeling (SoSyM)
| Hi-index | 0.04 |