Software engineering for mobility: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Using a coordination language to specify and analyze systems containing mobile components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Mobile values, new names, and secure communication
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Model checking distributed objects design
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
CCS '01 Proceedings of the 8th ACM conference on Computer and Communications Security
Deadlock detection in distribution object systems
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Analyzing security protocols with secrecy types and logic programs
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Types as models: model checking message-passing programs
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Performance Evaluation of Mobile Processes via Abstract Machines
IEEE Transactions on Software Engineering
Events in Haskell, and how to implement them
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
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
Actors: a model for reasoning about open distributed systems
Formal methods for distributed processing
Formal methods for distributed processing
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
A type system for lock-free processes
Information and Computation - IFIP TCS2000
Types for the ambient calculus
Information and Computation - IFIP TCS2000
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Time regions and effects for resource usage analysis
Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation
System Software for Ubiquitous Computing
IEEE Pervasive Computing
Guest Editors' Introduction: Human-Centered Computing at NASA
IEEE Intelligent Systems
Review of the π-calculus: a theory of mobile processes
ACM SIGACT News
Theoretical Computer Science
Specification Diagrams for Actor Systems
Higher-Order and Symbolic Computation
Temporal concurrent constraint programming: denotation, logic and applications
Nordic Journal of Computing
A CSP View on UML-RT Structure Diagrams
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Finite-Control Mobile Ambients
ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
On Models for Time-Sensitive Interactive Computing
ICCS '02 Proceedings of the International Conference on Computational Science-Part I
Parallelizing Multithreaded Java Program: A Criterion and Its p-Calculus Foundation
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Region Analysis and a pi-Calculus wiht Groups
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Formal Eavesdropping and Its Computational Interpretation
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
A Spatial Logic for Concurrency
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Observational Equivalence for Synchronized Graph Rewriting with Mobility
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Temporal Concurrent Constraint Programming: Applications and Behavior
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
On Bisimulations for the Spi Calculus
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Spatial Congruence for Ambients Is Decidable
ASIAN '00 Proceedings of the 6th Asian Computing Science Conference on Advances in Computing Science
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
On Formal Modeling of Agent Computations
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
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
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
A Calculus for Mobile Network Systems
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
An Overview of Mobile Object-Z
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Towards a Model for an Immune System
MICAI '02 Proceedings of the Second Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
Mobile Processes: A Commented Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
A Framework for the Formalisation of Pi Calculus Type Systems in Isabelle/HOL
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Orchestrating Computations on the World-Wide Web
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Dynamic Input/Output Automata: A Formal Model for Dynamic Systems
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Synchronized Hyperedge Replacement with Name Mobility
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
A Calculus of Mobile Resources
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Probabilistic Asynchronous pi-Calculus
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
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
DAML-S: Web Service Description for the Semantic Web
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
A Principled Semantics for inp
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
PN2: An Elementary Model for Design and Analysis of Multi-agent Systems
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
A Behavioral Module System for the Pi-Calculus
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Ambient Groups and Mobility Types
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Performance Validation of Mobile Software Architectures
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 Temporal Concurrent Constraint Programming Calculus
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Components, Contracts, and Connectors for the Unified Modelling Language UML
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Interference Analysis for Dependable Systems Using Refinement and Abstraction
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Conformance Checking for Models of Asynchronous Message Passing Software
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Proofnets and Context Semantics for the Additives
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Combining Graphical and Formal Development of Open Distributed Systems
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality
Generalised Object-Oriented Concepts for Inter-agent Communication
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
An Abstract Machine for Classes of Communicating Agents Based on Deduction
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Causal pi-Calculus for Biochemical Modelling
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
From Process Calculi to Process Frameworks
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Types, or: Where's the Difference Between CCS and pi?
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Using Model Checking to Detect Deadlocks in Distributed Object Systems
EDO '00 Revised Papers from the Second International Workshop on Engineering Distributed Objects
Reachability problems for sequential dynamical systems with threshold functions
Theoretical Computer Science - Mathematical foundations of computer science
Validating a Web service security abstraction by typing
Proceedings of the 2002 ACM workshop on XML security
Mobile processes: a commented bibliography
Modeling and verification of parallel processes
Temporal concurrent constraint programming: applications and behavior
Formal and natural computing
A compositional formalism for object viewpoints
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Modular verification of software components in C
Proceedings of the 25th International Conference on Software Engineering
Evolvable concurrent processes
Computer Standards & Interfaces - Special issue: Adaptable software architectures
A Theory of Bisimulation for a Fragment of Concurrent ML with Local Names
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Types and Effects for Asymmetric Cryptographic Protocols
CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations
Typing correspondence assertions for communication protocols
Theoretical Computer Science
Assertions: A Personal Perspective
IEEE Annals of the History of Computing
Authenticity by Typing for Security Protocols
CSFW '01 Proceedings of the 14th IEEE workshop on Computer Security Foundations
A Compositional Logic for Protocol Correctness
CSFW '01 Proceedings of the 14th IEEE workshop on Computer Security Foundations
Formal design of SMIL presentations
Proceedings of the 21st annual international conference on Documentation
Guarded Quantification in Least Fixed Point Logic
Journal of Logic, Language and Information
PEPA nets: a structured performance modelling formalism
Performance Evaluation - Modelling techniques and tools for computer performance evaluation
A spatial logic for concurrency (part I)
Information and Computation - TACS 2001
Authenticity by typing for security protocols
Journal of Computer Security - Special issue on CSFW14
A compositional logic for proving security properties of protocols
Journal of Computer Security - Special issue on CSFW14
Workflow mining: a survey of issues and approaches
Data & Knowledge Engineering
A semantics for web services authentication
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Sequentiality vs. concurrency in games and logic
Mathematical Structures in Computer Science
Equational properties of mobile ambients
Mathematical Structures in Computer Science
Predicting cell adhesion probability via the biochemical stochastic π-calculus
Proceedings of the 2004 ACM symposium on Applied computing
Region analysis and a π-calculus with groups
Journal of Functional Programming
MobileScope: A Programming Language with Objective Mobility
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
A formal framework for modelling and analysing mobile systems
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
A Mobile Computational model for Internet programming
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
ACM SIGSOFT Software Engineering Notes
CODEWEAVE: Exploring Fine-Grained Mobility of Code
Automated Software Engineering
Modular Verification of Software Components in C
IEEE Transactions on Software Engineering
Tools for design of composite Web services
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
Theoretical Computer Science - Logic, semantics and theory of programming
A new time extension to φ-calculus based on time consuming transition semantics
Languages for system specification
A model of runtime transformation for distributed systems based on directed acyclic graph model
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Adaptable system/Software architectures
Towards a higher-order synchronous data-flow language
Proceedings of the 4th ACM international conference on Embedded software
Commitments for Flexible Business Processes
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
ACM SIGSOFT Software Engineering Notes
Formally refining software architectures with π-ARL: a case study
ACM SIGSOFT Software Engineering Notes
UML based modeling and performance analysis of mobile systems
MSWiM '04 Proceedings of the 7th ACM international symposium on Modeling, analysis and simulation of wireless and mobile systems
Typed behavioural equivalences for processes in the presence of subtyping
Mathematical Structures in Computer Science
Automated composition of e-services: lookaheads
Proceedings of the 2nd international conference on Service oriented computing
Implementing integrated services of networked home appliances using service oriented architecture
Proceedings of the 2nd international conference on Service oriented computing
Proceedings of the 2003 ACM workshop on Formal methods in security engineering
A bisimulation for type abstraction and recursion
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A theory of bisimulation for a fragment of concurrent ML with local names
Theoretical Computer Science
Modelling biochemical pathways through enhanced π-calculus
Theoretical Computer Science - Special issue: Computational systems biology
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science - Special issue: Computational systems biology
Analyzing security protocols with secrecy types and logic programs
Journal of the ACM (JACM)
Towards concrete concurrency: occam-pi on the LEGO mindstorms
Proceedings of the 36th SIGCSE technical symposium on Computer science education
Theoretical Computer Science - Implementation and application of automata
Information and Computation
Contextual information management using contract: based workflow
Proceedings of the 2nd conference on Computing frontiers
Decidability of infinite-state timed CCP processes and first-order LTL
Theoretical Computer Science - Expressiveness in concurrency
Relating multiset rewriting and process algebras for security protocol analysis
Journal of Computer Security - Special issue on WITS'03
MoCha-pi, an exogenous coordination calculus based on mobile channels
Proceedings of the 2005 ACM symposium on Applied computing
Logical verification and equational verification
ACM SIGACT News
Monadic concurrent linear logic programming
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
ReactiveML: a reactive extension to ML
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
A form-based meta-model for software composition
Science of Computer Programming - Special issue on new software composition concepts
Journal of Functional Programming
Support for feedback and change in self-adaptive systems
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Stenning's protocol implemented in UDP and verified in Isabelle
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
APCCM '05 Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling - Volume 43
A software architecture approach for structuring autonomic systems
DEAS '05 Proceedings of the 2005 workshop on Design and evolution of autonomic application software
Event-based runtime verification of java programs
WODA '05 Proceedings of the third international workshop on Dynamic analysis
Consistency for web services applications
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Tools for composite web services: a short overview
ACM SIGMOD Record
A fully abstract may testing semantics for concurrent objects
Theoretical Computer Science
A brief history of process algebra
Theoretical Computer Science - Process algebra
Process algebra for hybrid systems
Theoretical Computer Science - Process algebra
A calculus for concurrent system with higher-order streaming communication
Science of Computer Programming - Special issue on system and software architectures(IWSSA'04)
Types and full abstraction for polyadic π-calculus
Information and Computation
CONCUR 2005 - Concurrency Theory
Secrecy despite compromise: types, cryptography, and the pi-calculus
CONCUR 2005 - Concurrency Theory
CONCUR 2005 - Concurrency Theory
Interaction Protocols as Design Abstractions for Business Processes
IEEE Transactions on Software Engineering
Synchronizability of Conversations among Web Services
IEEE Transactions on Software Engineering
Formally modelling software architectures with the UML 2.0 profile for π-ADL
ACM SIGSOFT Software Engineering Notes
Secure sessions for web services
SWS '04 Proceedings of the 2004 workshop on Secure web service
Communication and mobility control in boxed ambients
Information and Computation
ACM SIGSOFT Software Engineering Notes
A specification language for coordinated objects
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Classboxes: an experiment in modeling compositional abstractions using explicit contexts
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Mathematical Structures in Computer Science
π-Method: a model-driven formal method for architecture-centric software engineering
ACM SIGSOFT Software Engineering Notes
Ordinary interactive small-step algorithms, I
ACM Transactions on Computational Logic (TOCL)
From semantic web to expressive software specifications: a modeling languages spectrum
Proceedings of the 28th international conference on Software engineering
A stackless runtime environment for a Pi-calculus
Proceedings of the 2nd international conference on Virtual execution environments
ASDL: a wide spectrum language for designing web services
Proceedings of the 15th international conference on World Wide Web
Developing An Hierarchical Simulator for Beta-binders
Proceedings of the 20th Workshop on Principles of Advanced and Distributed Simulation
Separating per-client and pan-client views in service specification
Proceedings of the 2006 international workshop on Service-oriented software engineering
Towards an algebraic theory of typed mobile processes
Theoretical Computer Science - Automata, languages and programming: Logic and semantics (ICALP-B 2004)
Pure bigraphs: structure and dynamics
Information and Computation
Similarity between preferential models
Theoretical Computer Science
A derivation system and compositional logic for security protocols
Journal of Computer Security
A closer look at constraints as processes
Information Processing Letters
A CPS encoding of name-passing in higher-order mobile embedded resources
Theoretical Computer Science - Expressiveness in concurrency
Leader election in rings of ambient processes
Theoretical Computer Science - Expressiveness in concurrency
A formal model of concurrent systems based on bipartite directed acyclic graph
Science of Computer Programming - Special issue on quality system and software architectures
Recursive modules for programming
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Ensuring termination by typability
Information and Computation
Nordic Journal of Computing - Selected papers of the 17th nordic workshop on programming theory (NWPT'05), October 19-21, 2005
WSC '05 Proceedings of the 37th conference on Winter simulation
Analytical modeling of random waypoint mobility patterns
Proceedings of the 3rd ACM international workshop on Performance evaluation of wireless ad hoc, sensor and ubiquitous networks
Scheduling-independent threads and exceptions in SHIM
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Type-based publish/subscribe: Concepts and experiences
ACM Transactions on Programming Languages and Systems (TOPLAS)
Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts
Mathematical Structures in Computer Science
ACM SIGACT news distributed computing column 24
ACM SIGACT News
Provenance in Agent-Mediated Healthcare Systems
IEEE Intelligent Systems
Coalgebraic minimization of HD-automata for the π-calculus using polymorphic types
Theoretical Computer Science - Formal methods for components and objects
A coordination approach to mobile components
Theoretical Computer Science - Formal methods for components and objects
Theoretical Computer Science - Mathematical foundations of computer science 2000
A semantics for web services authentication
Theoretical Computer Science - Theoretical foundations of security analysis and design II
Weakening the perfect encryption assumption in Dolev-Yao adversaries
Theoretical Computer Science - Theoretical foundations of security analysis and design II
Locating reaction with 2-categories
Theoretical Computer Science - Foundations of software science and computation structures
Proceedings of the 38th conference on Winter simulation
Complexity of reachability problems for finite discrete dynamical systems
Journal of Computer and System Sciences
Relating State-Based and Process-Based Concurrency through Linear Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Axiomatisation and decidability of multi-dimensional Duration Calculus
Information and Computation
An Approach for the Specification, Verification and Synthesis of Secure Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Creol: a type-safe object-oriented model for distributed concurrent systems
Theoretical Computer Science - Components and objects
The impact of research on middleware technology
ACM SIGSOFT Software Engineering Notes
Logical Analysis of Biological Systems
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Guest editorial: Business process management: Where business processes and web services meet
Data & Knowledge Engineering
The impact of research on middleware technology
ACM SIGOPS Operating Systems Review
Axiomatizations for probabilistic finite-state behaviors
Theoretical Computer Science
Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures
Electronic Notes in Theoretical Computer Science (ENTCS)
Manipulating Trees with Hidden Labels
Electronic Notes in Theoretical Computer Science (ENTCS)
Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Interactive Systems with Registers and Voices
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
Fundamenta Informaticae
A Component Coordination Model Based on Mobile Channels
Fundamenta Informaticae
International Journal of Knowledge-based and Intelligent Engineering Systems - Selected papers from the KES2004 conference
A bisimulation for dynamic sealing
Theoretical Computer Science
Higher-Order and Symbolic Computation
Secure sessions for Web services
ACM Transactions on Information and System Security (TISSEC)
Active Evaluation Contexts for Reaction Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems
IEEE Transactions on Software Engineering
Secured Information Flow for Asynchronous Sequential Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Coordinating mobile agents in interaction spaces
Science of Computer Programming
An Orchestrator for Dynamic Interconnection of Software Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Verification of Peer-to-peer Algorithms: A Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
What is a free name in a process algebra?
Information Processing Letters
A Formal Framework for Web Services Coordination
Electronic Notes in Theoretical Computer Science (ENTCS)
Coordination by Timers for Channel-Based Anonymous Communications
Electronic Notes in Theoretical Computer Science (ENTCS)
Configurations of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Applications = Components + GLoo
Electronic Notes in Theoretical Computer Science (ENTCS)
Biological Transactions for Quantitative Models
Electronic Notes in Theoretical Computer Science (ENTCS)
A Simple Calculus for Proteins and Cells
Electronic Notes in Theoretical Computer Science (ENTCS)
Encoding Catalytic P Systems in π@
Electronic Notes in Theoretical Computer Science (ENTCS)
Through Modeling to Synthesis of Security Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Coordination Model for Interactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting
Electronic Notes in Theoretical Computer Science (ENTCS)
A type discipline for authorization policies
ACM Transactions on Programming Languages and Systems (TOPLAS) - Special Issue ESOP'05
An exercise in structural congruence
Information Processing Letters
Contract clause negotiation by game theory
Proceedings of the 11th international conference on Artificial intelligence and law
PML: Toward a High-Level Formal Language for Biological Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Cell Cycle Control in Eukaryotes: A BioSpi model
Electronic Notes in Theoretical Computer Science (ENTCS)
Control Flow Analysis for BioAmbients
Electronic Notes in Theoretical Computer Science (ENTCS)
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Electronic Notes in Theoretical Computer Science (ENTCS)
A bisimulation for type abstraction and recursion
Journal of the ACM (JACM)
Theoretical Computer Science
Theoretical Computer Science
Natural Computing: an international journal
Foundations and Trends in Web Science
A correct and useful incremental copying garbage collector
Proceedings of the 6th international symposium on Memory management
Types and effects for asymmetric cryptographic protocols
Journal of Computer Security - Special issue on CSFW15
A Well-behaved LTS for the Pi-calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Detecting and Preventing Type flaws: a Control Flow Analysis with Tags
Electronic Notes in Theoretical Computer Science (ENTCS)
Tutorial on separation results in process calculi via leader election problems
Theoretical Computer Science
History-based joins: Semantics, soundness and implementation
Data & Knowledge Engineering
Symmetric electoral systems for ambient calculi
Information and Computation
Full abstraction for polymorphic π-calculus
Theoretical Computer Science
Free-algebra models for the π -calculus
Theoretical Computer Science
A network programming language based on concurrent processes and regular expressions
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
A Chart Semantics for the Pi-Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Matching Systems for Concurrent Calculi
Electronic Notes in Theoretical Computer Science (ENTCS)
NOAH: A CSP-based language for describing the behaviour of coupled models
Software—Practice & Experience
Theoretical Computer Science
A Static Analysis for Beta-Binders
Electronic Notes in Theoretical Computer Science (ENTCS)
A Spatial Extension to the π Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes
Electronic Notes in Theoretical Computer Science (ENTCS)
An Automatic Translation of SBML into Beta-Binders
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
A model-driven approach for reusing service compositions
EATIS '07 Proceedings of the 2007 Euro American conference on Telematics and information systems
IOM/T: interaction-oriented model by textual notation
International Journal of Agent-Oriented Software Engineering
A formal semantics for Gaia liveness rules and expressions
International Journal of Agent-Oriented Software Engineering
Coordination Models Orc and Reo Compared
Electronic Notes in Theoretical Computer Science (ENTCS)
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Exploring an Option Space to Engineer a Ubiquitous Computing System
Electronic Notes in Theoretical Computer Science (ENTCS)
A Game-theoretic Approach to Behavioural Visualisation
Electronic Notes in Theoretical Computer Science (ENTCS)
Universal concurrent constraint programing: symbolic semantics and applications to security
Proceedings of the 2008 ACM symposium on Applied computing
Performance evaluation comes to life: quantitative methods applied to biological systems
ACM SIGMETRICS Performance Evaluation Review
A Basic Logic for Reasoning about Connector Reconfiguration
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Workflow management for enterprise transformation
Information-Knowledge-Systems Management - Work, Workflow, Information Systems and Enterprise Transformation
Concurrent software engineering: preparing for paradigm shift
Proceedings of the 2008 C3S2E conference
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-driven refinement of software architectures with π-ARL
AMCOS'05 Proceedings of the 4th WSEAS International Conference on Applied Mathematics and Computer Science
Electronic Notes in Theoretical Computer Science (ENTCS)
Validating MAS simulation models with mutation
Multiagent and Grid Systems - Multi-agent systems for medicine, computational biology, and bioinformatics
Weak parametric failure equivalences and their congruence formats
CATS '08 Proceedings of the fourteenth symposium on Computing: the Australasian theory - Volume 77
Process Algebra with Local Communication
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Theoretical Computer Science
Specification, decomposition and agent synthesis for situation-aware service-based systems
Journal of Systems and Software
A simple calculus for proteins and cells
Theoretical Computer Science
Formal interaction specification in public health surveillance systems using π-calculus
Computer Methods and Programs in Biomedicine
Bite: Workflow Composition for the Web
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
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 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
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
On Beta-Binders Communications
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
Pursuing the Goal of Language Understanding
ICCS '08 Proceedings of the 16th international conference on Conceptual Structures: Knowledge Visualization and Reasoning
Modelling the Tunability of Early T Cell Signalling Events
ICARIS '08 Proceedings of the 7th international conference on Artificial Immune Systems
Simulation Using Orchestration
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
A Formal Analysis of Complex Type Flaw Attacks on Security Protocols
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Kilim: Isolation-Typed Actors for Java
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model Based on Boxes
The Common Component Modeling Example
An Observational Model for Transactional Calculus of Services Orchestration
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Global Progress in Dynamically Interleaved Multiparty Sessions
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Implementation of the Conformance Relation for Incremental Development of Behavioural Models
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Verified interoperable implementations of security protocols
ACM Transactions on Programming Languages and Systems (TOPLAS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Patterns of business rules to enable agile business processes
Enterprise Information Systems - Challenges and Solutions in Enterprise Computing - 11th International IEEE EDOC Conference (EDOC 2007)
Synapses as stochastic concurrent systems
Theoretical Computer Science
nanoK: A calculus for the modeling and simulation of nano devices
Theoretical Computer Science
A mechanism for grid service composition behavior specification and verification
Future Generation Computer Systems
The Continuous π-Calculus: A Process Algebra for Biochemical Modelling
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
A Bounded-Optimistic, Parallel Beta-Binders Simulator
DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications
Towards Component-Based Design and Verification of a μ-Controller
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Complexity metrics for Workflow nets
Information and Software Technology
Applying formal methods to gossiping networks with mCRL and groove
ACM SIGMETRICS Performance Evaluation Review
Software-Intensive Systems and New Computing Paradigms
Structured Interacting Computations
Software-Intensive Systems and New Computing Paradigms
Extending Formal Methods for Software-Intensive Systems
Software-Intensive Systems and New Computing Paradigms
Behaviour Equivalences in Timed Distributed π -Calculus
Software-Intensive Systems and New Computing Paradigms
Control Flow Analysis for Brane Calculi
Electronic Notes in Theoretical Computer Science (ENTCS)
Coordinating Object Oriented Components Using Data-Flow Networks
Formal Methods for Components and Objects
Fully abstract models and refinements as tools to compare agents in timed coordination languages
Theoretical Computer Science
A class-based scheme for E-commerce web servers: Formal specification and performance evaluation
Journal of Network and Computer Applications
Modelling and Verifying Mobile Systems Using π -Graphs
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
A Translation of Beta-binders in a Prioritized Pi-calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Bialgebraic methods and modal logic in structural operational semantics
Information and Computation
Automatic verification of database-driven systems: a new frontier
Proceedings of the 12th International Conference on Database Theory
A Pi-calculus formalism for discrete event simulation
Proceedings of the 40th Conference on Winter Simulation
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
A Model of Computation for Bit-Level Concurrent Computing and Programming: APEC
IEICE - Transactions on Information and Systems
A formal model of provenance in distributed systems
TAPP'09 First workshop on on Theory and practice of provenance
Using SOA Provenance to Implement Norm Enforcement in e-Institutions
Coordination, Organizations, Institutions and Norms in Agent Systems IV
Idea: Action Refinement for Security Properties Enforcement
ESSoS '09 Proceedings of the 1st International Symposium on Engineering Secure Software and Systems
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
Minimization Algorithm for Symbolic Bisimilarity
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
GridSPiM: A Framework for Simple Locality and Containment in the Stochastic π-Calculus
BICoB '09 Proceedings of the 1st International Conference on Bioinformatics and Computational Biology
A perspective on service orchestration
Science of Computer Programming
ActionScript bytecode verification with co-logic programming
Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security
Computer Languages, Systems and Structures
Language design for distributed objects
Proceedings of the 1st International Workshop on Distributed Objects for the 21st Century
A Calculus for Mobile Ad-hoc Networks with Static Location Binding
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)
Decidable Fragments of a Higher Order Calculus with Locations
Electronic Notes in Theoretical Computer Science (ENTCS)
A Mapping from Pi-Calculus into BPEL
Proceedings of the 2006 conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering
Calculi for Service-Oriented Computing
Formal Methods for Web Services
Counting the Cost in the Picalculus (Extended Abstract)
Electronic Notes in Theoretical Computer Science (ENTCS)
The ARC Programming Model -- Language Constructs for Coordination
Electronic Notes in Theoretical Computer Science (ENTCS)
A specification language for information security policies
CIS'09 Proceedings of the international conference on Computational and information science 2009
A Control Flow Analysis for Beta-binders with and without static compartments
Theoretical Computer Science
Stochastic biological modelling in the presence of multiple compartments
Theoretical Computer Science
An intermediate language for the stochastic simulation of biological systems
Theoretical Computer Science
Multicore Scheduling for Lightweight Communicating Processes
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
A Uniform Framework for Modeling and Verifying Components and Connectors
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
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
Control Encapsulation: A Calculus for Exogenous Composition of Software Components
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
A framework for abstract interpretation of timed concurrent constraint programs
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Relating state-based and process-based concurrency through linear logic (full-version)
Information and Computation
On the Relationship between η-Calculus and Finite Place/Transition Petri Nets
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
The computational status of physics
Natural Computing: an international journal
Two Paradigms Are Better Than One, and Multiple Paradigms Are Even Better
ICCS '09 Proceedings of the 17th International Conference on Conceptual Structures: Conceptual Structures: Leveraging Semantic Technologies
BPM '09 Proceedings of the 7th International Conference on Business Process Management
From Architectural to Behavioural Specification of Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Weakening the Dolev-Yao model through probability
Proceedings of the 2nd international conference on Security of information and networks
Algebra and logic for resource-based systems modelling
Mathematical Structures in Computer Science
Exploiting non-Markovian Bio-Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-checking Web Services Orchestrations using BP-calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Topological Construction of Parameterized Bisimulation Limit
Electronic Notes in Theoretical Computer Science (ENTCS)
Web services and business process management
IBM Systems Journal
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings
Fundamenta Informaticae - Petri Nets 2008
Toward a space-time mobility model for social communities
Proceedings of the 2009 conference on Neural Nets WIRN09: Proceedings of the 19th Italian Workshop on Neural Nets, Vietri sul Mare, Salerno, Italy, May 28--30 2009
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)
Correct Execution of Reconfiguration for Stateful Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Birds on the wall: distributing a process-oriented simulation
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
Mobile processes, mobile channels and complex dynamic systems
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
Modeling and Verification of Privacy Enhancing Protocols
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A Verification System for Distributed Objects with Asynchronous Method Calls
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Verifying Anonymous Credential Systems in Applied Pi Calculus
CANS '09 Proceedings of the 8th International Conference on Cryptology and Network Security
A Complete Symbolic Bisimulation for Full Applied Pi Calculus
SOFSEM '10 Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science
Regenerative systems: challenges and opportunities for modeling, simulation, and visualization
Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
From Bialgebraic Semantics to Congruence Formats
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)
Time-awareness and Proactivity in Models of Interactive Computation
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)
A Process Calculus of Atomic Commit
Electronic Notes in Theoretical Computer Science (ENTCS)
Toward Extracting π-calculus from UML Sequence and State Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
Static Validation of a Voting Protocol
Electronic Notes in Theoretical Computer Science (ENTCS)
Architectural Prototyping: From CCS to .Net
Electronic Notes in Theoretical Computer Science (ENTCS)
From Active Names to π-calculus Rewriting Rules
Electronic Notes in Theoretical Computer Science (ENTCS)
Security Policies as Membranes in Systems for Global Computing
Electronic Notes in Theoretical Computer Science (ENTCS)
Communicating Concurrent Objects in HiddenCCS
Electronic Notes in Theoretical Computer Science (ENTCS)
Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability
Electronic Notes in Theoretical Computer Science (ENTCS)
Biomolecular Agents as Multi-behavioural Concurrent Objects
Electronic Notes in Theoretical Computer Science (ENTCS)
Architecture Description for Mobile Distributed Systems Using Typed π-Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Mobile Agents in Interaction Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Typed Event Structures and the π-Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
An Observational Model for Spatial Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
A Congruence Format for Name-passing Calculi
Electronic Notes in Theoretical Computer Science (ENTCS)
SPHIN: A model checker for reconfigurable hybrid systems based on SPIN
Electronic Notes in Theoretical Computer Science (ENTCS)
Communication and mobility control in boxed ambients
Information and Computation
Information and Computation
Types and full abstraction for polyadic π-calculus
Information and Computation
Pure bigraphs: Structure and dynamics
Information and Computation
A closer look at constraints as processes
Information Processing Letters
Checking process-oriented operating system behaviour using CSP and refinement
ACM SIGOPS Operating Systems Review
Santa Claus: Formal analysis of a process-oriented solution
ACM Transactions on Programming Languages and Systems (TOPLAS)
An expressiveness study of priority in process calculi
Mathematical Structures in Computer Science
Theoretical Computer Science
On generic context lemmas for higher-order calculi with sharing
Theoretical Computer Science
Modelling Interactive Experience, Function and Performance in Ubiquitous Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Checking process-oriented operating system behaviour using CSP and refinement
Proceedings of the Fifth Workshop on Programming Languages and Operating Systems
Typed event structures and the linear π-calculus
Theoretical Computer Science
Logical properties of name restriction
TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications
Manipulating trees with hidden labels
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
Architectural design of component-based agents: a behavior-based approach
ProMAS'06 Proceedings of the 4th international conference on Programming multi-agent systems
Prototyping object oriented specifications
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
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
Encoding mobile ambients into the π-calculus
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Exception handling in the BPEL4WS language
BPM'03 Proceedings of the 2003 international conference on Business process management
A pi-calculus-based business process formal design method
CSCWD'06 Proceedings of the 10th international conference on Computer supported cooperative work in design III
A core calculus for a comparative analysis of bio-inspired calculi
ESOP'07 Proceedings of the 16th European conference on Programming
Type-based analysis of deadlock for a concurrent calculus with interrupts
ESOP'07 Proceedings of the 16th European conference on Programming
An ontology for software component matching
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Towards a theory of refinement in timed coordination languages
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
The verifying compiler: a grand challenge for computing research
CC'03 Proceedings of the 12th international conference on Compiler construction
Using genetic programming to generate protocol adaptors for interprocess communication
ICES'03 Proceedings of the 5th international conference on Evolvable systems: from biology to hardware
A methodology for model-checking ad-hoc networks
SPIN'03 Proceedings of the 10th international conference on Model checking software
The φ-calculus: a language for distributed control of reconfigurable embedded systems
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Modeling static biological compartments with beta-binders
AB'07 Proceedings of the 2nd international conference on Algebraic biology
UTP semantics for web services
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Non-interference properties for data-type reduction of communicating systems
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Towards model checking spatial properties with SPIN
Proceedings of the 14th international SPIN conference on Model checking software
Deriving bisimulation congruences with borrowed contexts
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Graphical encoding of a spatial logic for the π-calculus
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Modeling high assurance agent-based Earthquake Management System using formal techniques
The Journal of Supercomputing
A typed calculus for querying distributed XML documents
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
Mobile ambients with timers and types
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
A tool for the synthesis of controller programs
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
Using constraints and process algebra for specification of first-class agent interaction protocols
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
OpenComRTOS: an ultra-small network centric embedded RTOS designed using formal modeling
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Stochastic simulation of biological systems with dynamical compartment structure
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Expressive models for synaptic plasticity
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Modelization and simulation of nano devices in nanok calculus
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Efficient, correct simulation of biological processes in the stochastic pi-calculus
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
A formal analysis for capturing replay attacks in cryptographic protocols
ASIAN'07 Proceedings of the 12th Asian computing science conference on Advances in computer science: computer and network security
Psim: a computational platform for metabolic P systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
On the reachability problem in P systems with mobile membranes
WMC'07 Proceedings of the 8th international conference on Membrane computing
A hybrid approach to modeling biological systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
Using mobile architecture modeling and simulation for enterprise applications
TEAA'06 Proceedings of the 2nd international conference on Trends in enterprise application architecture
Constraint-based workflow models: change made easy
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Scalable simulation of cellular signaling networks
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
A probabilistic applied pi-calculus
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
A process-algebraic approach to workflow specification and refinement
SC'07 Proceedings of the 6th international conference on Software composition
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
Hierarchical modeling for computational 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
Membrane computing as a modeling framework: cellular systems case studies
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
π@: 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
Abstract interpretation of cellular signalling networks
VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
The separation of duty with privilege calculus
RSKT'08 Proceedings of the 3rd international conference on Rough sets and knowledge technology
Formal analysis of BPMN via a translation into COWS
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
An algebraic approach to image schemas for geographic space
COSIT'09 Proceedings of the 9th international conference on Spatial information theory
Scalable formalization of publish/subscribe messaging scheme based on message brokers
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Synthesis of web services orchestrators in a timed setting
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Propositional projection temporal logic, Büchi automata and ω-regular expressions
TAMC'08 Proceedings of the 5th international conference on Theory and applications of models of computation
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
SC'08 Proceedings of the 7th international conference on Software composition
Relational analysis for delivery of services
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Service oriented architectural design
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Programmable messaging for electronic government - building a foundation
Formal methods and hybrid real-time systems
Formal methods and hybrid real-time systems
Security protocols: principles and calculi tutorial notes
Foundations of security analysis and design IV
A formal definition of RESTful semantic web services
Proceedings of the First International Workshop on RESTful Design
OPENET: Ontology-based engine for high-level Petri nets
Expert Systems with Applications: An International Journal
Distributed traffic signal control approach based on multi-agent
FSKD'09 Proceedings of the 6th international conference on Fuzzy systems and knowledge discovery - Volume 5
Detecting and preventing type flaws at static time
Journal of Computer Security - Security Issues in Concurrency (SecCo'07)
Program analysis and compilation, theory and practice
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
Mobile processes and termination
Semantics and algebraic specification
A formal semantics for the Taverna 2 workflow model
Journal of Computer and System Sciences
Fuzzy relation equations and reduction of fuzzy automata
Journal of Computer and System Sciences
Performance evaluation of DPS coordination strategies modelled in pi-calculus
International Journal of Intelligent Information and Database Systems
Behavioural model for a business rules based approach to model services
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
A higher-order extension for imperative synchronous languages
Proceedings of the 13th International Workshop on Software & Compilers for Embedded Systems
Coalgebraic symbolic semantics
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Behavioural congruence in turing test-like human-computer interaction
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Electronic Notes in Theoretical Computer Science (ENTCS)
Business process modeling languages: Sorting through the alphabet soup
ACM Computing Surveys (CSUR)
A fuzzy Petri-nets model for computing with words
IEEE Transactions on Fuzzy Systems - Special section on computing with words
Declarative workflows to efficiently manage flexible and advanced business processes
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
Agent interaction, multiple perspectives, and swarming simulation
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Robin Milner's Work on Concurrency
Electronic Notes in Theoretical Computer Science (ENTCS)
A pure labeled transition semantics for the applied pi calculus
Information Sciences: an International Journal
Formalising policies of a mLearning system using CCA
Proceedings of the 4th ACM International Workshop on Context-Awareness for Self-Managing Systems
Linear uniform receptiveness in a pi-calculus with location failures
CATS '10 Proceedings of the Sixteenth Symposium on Computing: the Australasian Theory - Volume 109
Conceptional modeling and analysis of spatio-temporal processes in biomolecular systems
APCCM '09 Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling - Volume 96
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
simpA: An agent-oriented approach for programming concurrent applications on top of Java
Science of Computer Programming
CiE'10 Proceedings of the Programs, proofs, process and 6th international conference on Computability in Europe
Scheduling garbage collection in real-time systems
CODES/ISSS '10 Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how?
A 25-year perspective on logic programming
A formal semantics for the WS-BPEL recovery framework: the π-calculus way
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
Linking algebraic observational equivalence and bisimulation
DLT'10 Proceedings of the 14th international conference on Developments in language theory
A formal approach to investigate the performance of modern e-commerce services
ASMTA'10 Proceedings of the 17th international conference on Analytical and stochastic modeling techniques and applications
Session types for access and information flow control
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Parameterized verification of ad hoc networks
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Information and Computation
Environmental bisimulations for higher-order languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Theoretical Computer Science
Linking denotational semantics with operational semantics for web services
Innovations in Systems and Software Engineering
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
Denotational approach to an event-driven system-level language
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
Expressiveness of generic process shape types
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
A tool for checking probabilistic properties of COWS services
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
A design environment for mobile applications
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Parallel computing with the Pi-calculus
Proceedings of the sixth workshop on Declarative aspects of multicore programming
Translating Pi-calculus into LOTOS NT
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Flexible in-lined reference monitor certification: challenges and future directions
Proceedings of the 5th ACM workshop on Programming languages meets program verification
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)
An improved algorithm for determinization of weighted and fuzzy automata
Information Sciences: an International Journal
Exploring inconsistencies between modal transition systems
Software and Systems Modeling (SoSyM)
Design verification in model-based μ-controller development using an abstract component
Software and Systems Modeling (SoSyM)
A probabilistic BPEL-like language
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Generating denotational semantics from algebraic semantics for event-driven system-level language
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Mobility in computer science and in membrane systems
CMC'10 Proceedings of the 11th international conference on Membrane computing
Concurrency can't be observed, asynchronously
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
Expressiveness of propositional projection temporal logic with star
Theoretical Computer Science
The Calculus of Context-aware Ambients
Journal of Computer and System Sciences
Bounded memory Dolev-Yao adversaries in collaborative systems
FAST'10 Proceedings of the 7th International conference on Formal aspects of security and trust
Synthesis of performance management mechanisms in modern e-commerce services
Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
Strand algebras for DNA computing
Natural Computing: an international journal
Design of a biomolecular device that executes process algebra
Natural Computing: an international journal
Channel-based coordination via constraint satisfaction
Science of Computer Programming
Strategies for preparing computer science students for the multicore world
Proceedings of the 2010 ITiCSE working group reports
On GS-monoidal theories for graphs with nesting
Graph transformations and model-driven engineering
A formal environment model for multi-agent systems
SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
Sound bisimulations for higher-order distributed process calculus
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
Deriving labels and bisimilarity for concurrent constraint programming
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
A testing theory for a higher-order cryptographic language
ESOP'11/ETAPS'11 Proceedings of the 20th European conference on Programming languages and systems: part of the joint European conferences on theory and practice of software
Preserving security properties under refinement
Proceedings of the 7th International Workshop on Software Engineering for Secure Systems
Entangled queries: enabling declarative data-driven coordination
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Priority scheduling of requests to web portals
Journal of Systems and Software
Communications of the ACM
A contextual semantics for concurrent Haskell with futures
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
Types for role-based access control of dynamic web data
WFLP'10 Proceedings of the 19th international conference on Functional and constraint logic programming
Timed migration and interaction with access permissions
FM'11 Proceedings of the 17th international conference on Formal methods
The crowdsourcing design space
FAC'11 Proceedings of the 6th international conference on Foundations of augmented cognition: directing the future of adaptive systems
A petri net interpretation of open reconfigurable systems
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
Cryptographic verification by typing for a sample protocol implementation
Foundations of security analysis and design VI
On the refinement of liveness properties of distributed systems
Formal Methods in System Design
Characterizing contextual equivalence in calculi with passivation
Information and Computation
The decidability of the reachability problem for CCS!
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Analysing protocol stacks for services
Rigorous software engineering for service-oriented systems
Quantitative analysis of services
Rigorous software engineering for service-oriented systems
A syntactic type system for recursive modules
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
On-the-fly verification of discrete event simulations by means of simulation purposes
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
A general method for assessment of security in complex services
ServiceWave'11 Proceedings of the 4th European conference on Towards a service-based internet
Information and Software Technology
FSP and FLTL framework for specification and verification of middle-agents
International Journal of Applied Mathematics and Computer Science - Semantic Knowledge Engineering
Algebraic approach to linking the semantics of web services
Innovations in Systems and Software Engineering
Flow Logic for Process Calculi
ACM Computing Surveys (CSUR)
International Journal of Grid and Utility Computing
IWINAC'05 Proceedings of the First international conference on Mechanisms, Symbols, and Models Underlying Cognition: interplay between natural and artificial computation - Volume Part I
A distributed and probabilistic concurrent constraint programming language
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Interaction protocols and capabilities: a preliminary report
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Models for contract conformance
ISoLA'04 Proceedings of the First international conference on Leveraging Applications of Formal Methods
A bioambients based framework for chain-structured biomolecules modelling
CIS'04 Proceedings of the First international conference on Computational and Information Science
Modeling and analyzing mobile software architectures
EWSA'06 Proceedings of the Third European conference on Software Architecture
A protein substructure based p system for description and analysis of cell signalling networks
WMC'06 Proceedings of the 7th international conference on Membrane Computing
Two-thirds simulation indexes and modal logic characterization
Frontiers of Computer Science in China
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
Featured concurrency of mobile ad hoc computing
Proceedings of the 9th International Conference on Advances in Mobile Computing and Multimedia
Handling exp, χ (and timestamps) in protocol analysis
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
R-Charon, a modeling language for reconfigurable hybrid systems
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Dependability evaluation of web service-based processes
EPEW'06 Proceedings of the Third European conference on Formal Methods and Stochastic Models for Performance Evaluation
Web process dynamic stepped extension: Pi-calculus-based model and inference experiments
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Study on π-calculus based equipment grid service chain model
NPC'05 Proceedings of the 2005 IFIP international conference on Network and Parallel Computing
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
A calculus for shapes in time and space
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
A theory of predicate-complete test coverage and generation
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
Reactive framework for resource aware distributed computing
ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday
History-based joins: semantics, soundness and implementation
BPM'06 Proceedings of the 4th international conference on Business Process Management
A formal approach to the analysis of clinical computer-interpretable guideline modeling languages
Artificial Intelligence in Medicine
A formal approach to molecular docking
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
Feedbacks and oscillations in the virtual cell VICE
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
Security in persistently reactive systems
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
ODEGSG framework, knowledge-based annotation and design of grid services
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Active models: a possible approach to the integration of objective and subjective process models
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
Encoding-Decoding transitional systems for classes of p systems
WMC'05 Proceedings of the 6th international conference on Membrane Computing
A description method of ontology change management using pi-calculus
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Simulating bacterial transcription and translation in a stochastic π calculus
Transactions on Computational Systems Biology VI
P systems, a new computational modelling tool for systems biology
Transactions on Computational Systems Biology VI
Spatio-temporal model checking for mobile real-time systems
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
Formal approaches to location management in mobile communications
ICDCIT'10 Proceedings of the 6th international conference on Distributed Computing and Internet Technology
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
Architecture description for mobile distributed systems
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
Improving reuse of web service compositions
EC-Web'05 Proceedings of the 6th international conference on E-Commerce and Web Technologies
Verifying safety of a token coherence implementation by parametric compositional refinement
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
A declarative approach for flexible business processes management
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
A formal framework for the development of concurrent object-based systems
Formal Methods in Software and Systems Modeling
Modeling kohn interaction maps with beta-binders: an example
Transactions on Computational Systems Biology III
Abstract machines of systems biology
Transactions on Computational Systems Biology III
Java JR: fully abstract trace semantics for a core java language
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
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Performance analysis of a UML micro-business case study
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
The kell calculus: a family of higher-order distributed process calculi
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Open modules: modular reasoning about advice
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Consistency checking of statechart diagrams of a class hierarchy
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Free-algebra models for the π-calculus
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
T-compound interaction and overhearing agents
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
A case study of web services orchestration
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Transactional aspects in semantic based discovery of services
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
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
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
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
Timing issues in web services composition
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
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
Finite abstractions for hybrid systems with stable continuous dynamics
Discrete Event Dynamic Systems
A formal model for service-oriented interactions
Science of Computer Programming
SC'05 Proceedings of the 4th international conference on Software Composition
Linking theories of concurrency
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
An ontology for mobile agents in the context of formal verification
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
Verified reference implementations of WS-Security protocols
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Welcome to the jungle: a subjective guide to mobile process calculi
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
A workflow modeling framework enhanced with problem-solving knowledge
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part III
Operational patterns in beta-binders
Transactions on Computational Systems Biology I
Discrete event multi-level models for systems biology
Transactions on Computational Systems Biology I
Semantics-aware services for the mobile computing environment
Architecting Dependable Systems III
Behavioral types for embedded software: a survey
Component-Based Software Development for Embedded Systems
A compositional approach to the stochastic dynamics of gene networks
Transactions on Computational Systems Biology IV
Multicore scheduling for lightweight communicating processes
Science of Computer Programming
Information and Computation
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
Gene regulation in the pi calculus: simulating cooperativity at the lambda switch
Transactions on Computational Systems Biology VII
Translating SBML models into the stochastic π-calculus for stochastic simulation
Transactions on Computational Systems Biology VII
A graphical representation for biological processes in the stochastic pi-calculus
Transactions on Computational Systems Biology VII
Modelling self-assembly in BlenX
Transactions on Computational Systems Biology XII
Managing grid computations: an ORC-Based approach
ISPA'06 Proceedings of the 4th international conference on Parallel and Distributed Processing and Applications
Conformon p systems and topology of information flow
WMC'09 Proceedings of the 10th international conference on Membrane Computing
Experiences in model driven verification of behavior with UML
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
PiStache: implementing π-calculus in scala
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
Observables for mobile and wireless broadcasting systems
COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
Linking theories of concurrency
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Consistency checking of sequence diagrams and statechart diagrams using the π-calculus
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Formally modeling the electricity grid with bigraphs
Proceedings of the Seventh Annual Workshop on Cyber Security and Information Intelligence Research
Standards for web service choreography and orchestration: status and perspectives
BPM'05 Proceedings of the Third international conference on Business Process Management
Indirect interaction in environments for multi-agent systems
E4MAS'05 Proceedings of the 2nd international conference on Environments for Multi-Agent Systems
Coalgebraic semantics for component systems
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Empirical Software Engineering and Verification
Value-passing CCS with noisy channels
Theoretical Computer Science
Theoretical Computer Science
Higher moment analysis of a spatial stochastic process algebra
EPEW'11 Proceedings of the 8th European conference on Computer Performance Engineering
Runtime enforcement of information flow security in tree manipulating processes
ESSoS'12 Proceedings of the 4th international conference on Engineering Secure Software and Systems
ABS: a core language for abstract behavioral specification
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
G2C: cryptographic protocols from goal-driven specifications
TOSCA'11 Proceedings of the 2011 international conference on Theory of Security and Applications
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Grand challenge 7: journeys in non-classical computation
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Evaluation technique in the spicalculus for cryptographic protocols
ISIICT'09 Proceedings of the Third international conference on Innovation and Information and Communication Technology
Expressing global priorities by best-matching
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Modelling session types using contracts
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Decidability of behavioral equivalences in process calculi with name scoping
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
SLMC: a tool for model checking concurrent systems against dynamical spatial logic specifications
TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Security protocol verification: symbolic and computational models
POST'12 Proceedings of the First international conference on Principles of Security and Trust
Flexible software architecture and language for mobile agents
Concurrency and Computation: Practice & Experience
Control Flow Analysis of Generalised Boolean Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
Information and Computation
Journal of Computer Science and Technology - Special issue on Natural Language Processing
Entangled queries: Enabling declarative data-driven coordination
ACM Transactions on Database Systems (TODS)
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Toward design, modelling and analysis of dynamic workflow reconfigurations
WS-FM'11 Proceedings of the 8th international conference on Web Services and Formal Methods
A lambda calculus for gödel---dummett logic capturing waitfreedom
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
The complexity of social coordination
Proceedings of the VLDB Endowment
A system for compositional verification of asynchronous objects
Science of Computer Programming
A Higher-Order Distributed Calculus with Name Creation
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Conservative Concurrency in Haskell
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
An Operational Petri Net Semantics for A 2CCS
Fundamenta Informaticae
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Reasoning about i/o in functional programs
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
Reasoning about multi-process systems with the box calculus
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
Trace matching in a concurrent logical framework
Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings
Fundamenta Informaticae - Petri Nets 2008
A Basic Logic for Reasoning about Connector Reconfiguration
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
A reputation system for multirole sessions
TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
Constraints for service contracts
TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
Behavioural equivalences over migrating processes with timers
FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Coordinating parallel mobile ambients to solve SAT problem in polynomial number of steps
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
Modeling dynamic architectures using Dy-BIP
SC'12 Proceedings of the 11th international conference on Software Composition
Refinement-Preserving translation from event-b to register-voice interactive systems
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Interactive Systems with Registers and Voices
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
Fundamenta Informaticae
A Component Coordination Model Based on Mobile Channels
Fundamenta Informaticae
Computation of the greatest simulations and bisimulations between fuzzy automata
Fuzzy Sets and Systems
Logical Analysis of Biological Systems
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
From the π-calculus to flat GHC
Proceedings of the 14th symposium on Principles and practice of declarative programming
Molecule: using monadic and streaming I/O to compose process networks on the JVM
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
To boldly go: an occam-π mission to engineer emergence
Natural Computing: an international journal
Language learning in virtual environments: 'bobo and apples'
EGVE'05 Proceedings of the 11th Eurographics conference on Virtual Environments
Through the concurrency gateway: a challenge from the near future of graphics hardware
EG PGV'04 Proceedings of the 5th Eurographics conference on Parallel Graphics and Visualization
Management in distributed systems: a semi-formal approach
Euro-Par'07 Proceedings of the 13th international Euro-Par conference on Parallel Processing
Timers and proximities for mobile ambients
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
Rule-based modelling of cellular signalling
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
On the expressive power of global and local priority in process calculi
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
An active architecture approach to dynamic systems co-evolution
ECSA'07 Proceedings of the First European conference on Software Architecture
Managing separation of concerns in grid applications through architectural model transformations
ECSA'07 Proceedings of the First European conference on Software Architecture
Taming non-compositionality using new binders
UC'07 Proceedings of the 6th international conference on Unconventional Computation
A polynomial translation of π-calculus (FCP) to safe petri nets
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
Sound control-flow graph extraction for java programs with exceptions
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
A timed mobility semantics based on rewriting strategies
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Efficient probabilistic abstraction for SysML activity diagrams
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Business process architecture: use and correctness
BPM'12 Proceedings of the 10th international conference on Business Process Management
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
Fuzzy relation equations and subsystems of fuzzy transition systems
Knowledge-Based Systems
Mechanized semantics for compiler verification
CPP'12 Proceedings of the Second international conference on Certified Programs and Proofs
The power of parameterization in coinductive proof
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Diagrammatic confluence for constraint handling rules*
Theory and Practice of Logic Programming
Spatial modeling in cell biology at multiple levels
Proceedings of the Winter Simulation Conference
Architectural Resiliency in Distributed Computing
International Journal of Grid and High Performance Computing
Proceedings of the 2013 conference on Computer supported cooperative work
Operational semantics for product-form solution
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Architectural Resiliency in Distributed Computing
International Journal of Grid and High Performance Computing
Operational semantics for product-form solution
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
On distributability in process calculi
ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
Recovery within long-running transactions
ACM Computing Surveys (CSUR)
Data-Fu: a language and an interpreter for interaction with read/write linked data
Proceedings of the 22nd international conference on World Wide Web
A parameterized graph transformation calculus for finite graphs with monadic branches
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
A cylinder computation model for many-core parallel computing
Theoretical Computer Science
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
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Design and verification of a health-monitoring driver assistance system
Proceedings of the 7th International Conference on Pervasive Computing Technologies for Healthcare
Modeling ontology evolution with SetPi
Information Sciences: an International Journal
A concurrent constraint and pi-calculus-based language for service contracting
International Journal of Wireless and Mobile Computing
Safety versus security in the quality calculus
Theories of Programming and Formal Methods
Nondeterministic automata: Equivalence, bisimulations, and uniform relations
Information Sciences: an International Journal
A property-based abstraction framework for SysML activity diagrams
Knowledge-Based Systems
Completeness and Soundness Results for X with Intersection and Union Types
Fundamenta Informaticae - Intersection Types and Related Systems ITRS
A Petri Net Interpretation of Open Reconfigurable Systems
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2011
Journal of Computer Security - Foundational Aspects of Security
The impact of research on the development of middleware technology
ACM Transactions on Software Engineering and Methodology (TOSEM)
| Hi-index | 0.05 |