An operational framework for value-passing processes
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Combinatory representation of mobile processes
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Boyer benchmark meets linear logic
ACM SIGPLAN Lisp Pointers
IEEE Transactions on Software Engineering - Special issue on software architecture
Formalizing style to understand descriptions of software architecture
ACM Transactions on Software Engineering and Methodology (TOSEM)
Enhanced operational semantics
ACM Computing Surveys (CSUR)
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The reflexive CHAM and the join-calculus
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Software architecture styles as graph grammars
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Software testing at the architectural level
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
The π-calculus in direct style
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Compositional features for promoting awareness within and across cooperative applications
GROUP '97 Proceedings of the international ACM SIGGROUP conference on Supporting group work: the integration challenge
Combinatory formulations of concurrent languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
A simple description language for dynamic architectures
ISAW '98 Proceedings of the third international workshop on Software architecture
Toward a computational model of collective intelligence and its IQ measure
Proceedings of the 1999 ACM symposium on Applied computing
Deriving test plans from architectural descriptions
Proceedings of the 22nd international conference on Software engineering
Proceedings of the 2nd international workshop on Software and performance
Using a coordination language to specify and analyze systems containing mobile components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Static checking of system behaviors using derived component assumptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Synchronous coordination in the μLog coordination model
Proceedings of the 2001 ACM symposium on Applied computing
Extensionality and intensionality of the ambient logics
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Abstractions for mobile computations
Secure Internet programming
Theoretical Computer Science
From rewrite rules to bisimulation congruences
Theoretical Computer Science
CRPIT '02 Proceedings of the seventh Asia-Pacific conference on Computer systems architecture
Formal methods for distributed processing
Formal methods for distributed processing
Compositional SOS and beyond: a coalgebraic view of open systems
Theoretical Computer Science
Artificial chemistries—a review
Artificial Life
Pattern-matching and rewriting rules for group indexed data structures
Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming
Dynamic connectors for concurrency
Theoretical Computer Science
Secure implementation of channel abstractions
Information and Computation
Engineering formal requirements: An analysis and testing method for Z documents
Annals of Software Engineering
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Molecular computing paradigm – toward freedom from Turing's charm
Natural Computing: an international journal
The π-Calculus in Direct Style
Higher-Order and Symbolic Computation
Describing Software Architecture Styles Using Graph Grammars
IEEE Transactions on Software Engineering
Theoretical Computer Science - Natural computing
Comparing logics for rewriting: rewriting logic, action calculi and tile logic
Theoretical Computer Science - Rewriting logic and its applications
Pattern-matching and rewriting rules for group indexed data structures
ACM SIGPLAN Notices
Understanding the mismatch combinator in Chi calculus
Theoretical Computer Science
Erratic fudgets: a semantic theory for an embedded coordination language
Science of Computer Programming - Special issue on coordination languages and architectures
Evolving Multi-agent Networks in Structured Environments
ECAL '01 Proceedings of the 6th European Conference on Advances in Artificial Life
Bio-Language for Computing with Membranes
ECAL '01 Proceedings of the 6th European Conference on Advances in Artificial Life
A Study of Replicators and Hypercycles by Typogenetics
ECAL '01 Proceedings of the 6th European Conference on Advances in Artificial Life
Dependency Analysis of Mobile Systems
ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Location-Independent Communication for Mobile Agents: A Two-Level Architecture
ICCL'98 Workshop on Internet Programming Languages
Seal: A Framework for Secure Mobile Computations
ICCL'98 Workshop on Internet Programming Languages
Was Collective Intelligence before Life on Earth?
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
Spatial Congruence for Ambients Is Decidable
ASIAN '00 Proceedings of the 6th Asian Computing Science Conference on Advances in Computing Science
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
A Support System Based on CBR for the Design of Rubber Compounds in Motor Racing
EWCBR '00 Proceedings of the 5th European Workshop on Advances in Case-Based Reasoning
Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
CBR Adaptation for Chemical Formulation
ICCBR '01 Proceedings of the 4th International Conference on Case-Based Reasoning: Case-Based Reasoning Research and Development
Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Mobile Processes: A Commented Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Distributed Fault Location in Networks Using Learning Mobile Agents
PRIMA '99 Proceedings of the Second Pacific Rim International Workshop on Multi-Agents: Approaches to Intelligent Agents
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Generating Type Systems for Process Graphs
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Deriving Bisimulation Congruences for Reactive Systems
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Orchestrating Transactions in Join Calculus
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
A Higher-Level Language for Hardware Synthesis
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Universal Formal Model of Collective Intelligence and Its IQ Measure
CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems
Equational Properties of Mobile Ambients
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
High-Level Petri Nets as Type Theories in the Join Calculus
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Automatic Determination of Communication Topologies in Mobile Systems
SAS '98 Proceedings of the 5th International Symposium on Static Analysis
Multiset Processing by Means of Systems of Finite State Transducers
WIA '99 Revised Papers from the 4th International Workshop on Automata Implementation
Toward a Formal Macroset Theory
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
The Linear Theory of Multiset Based Dynamic Systems
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
Artificial Life Applications of a Class of P Systems: Abstract Rewriting Systems on Multisets
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
Gamma and the Chemical Reaction Model: Fifteen Years After
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
Structures and Bio-language to Simulate Transition P Systems on Digital Computers
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
Open Ended Systems, Dynamic Bisimulation and Tile Logic
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
An Interpretation of Typed Concurrent Objects in the Blue Calculus
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
The Join Calculus: A Language for Distributed Mobile Programming
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Molecular Computing with Generalized Homogeneous P-Systems
DNA '00 Revised Papers from the 6th International Workshop on DNA-Based Computers: DNA Computing
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Causal pi-Calculus for Biochemical Modelling
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Graphs for Core Molecular Biology
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Multiset Constraints and P Systems
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
Mobile processes: a commented bibliography
Modeling and verification of parallel processes
A Meta-Notation for Protocol Analysis
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
Typing correspondence assertions for communication protocols
Theoretical Computer Science
A Case Study in Architectural Modelling: The AEGIS System
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Relating CHAM Descriptions of Software Architectures
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Putting non-functional requirements into software architecture
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
A Coordination Model to Specify Systems Including Mobile Agents
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Reasoning about secrecy for active networks
Journal of Computer Security - CSFW13
Deriving bisimulation congruences using 2-categories
Nordic Journal of Computing
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
Equational properties of mobile ambients
Mathematical Structures in Computer Science
Elementary structures in process theory (1): Sets with renaming
Mathematical Structures in Computer Science
Type inference for a distributed π-calculus
Science of Computer Programming - Special issue on 12th European symposium on programming (ESOP 2003)
Computation in networks of passively mobile finite-state sensors
Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing
Integrating forms of interaction in a distributed model
Fundamenta Informaticae
Proceedings of the 2003 ACM workshop on Formal methods in security engineering
Theoretical Computer Science - Special issue: Computational systems biology
A comparison between strand spaces and multiset rewriting for security protocol analysis
Journal of Computer Security
Observational congruences for dynamically reconfigurable tile systems
Theoretical Computer Science - Process algebra
ERESYE: artificial intelligence in Erlang programs
Proceedings of the 2005 ACM SIGPLAN workshop on Erlang
Knowledge-based assessment of behavior in dynamic environments
Proceedings of the 2005 ACM workshop on Research in knowledge representation for autonomous systems
CONCUR 2005 - Concurrency Theory
On relating functional specifications to architectural specifications: a case study
Science of Computer Programming
Infrastructure for Engineered Emergence on Sensor/Actuator Networks
IEEE Intelligent Systems
Polarized process algebra with reactive composition
Theoretical Computer Science - Formal methods for components and objects
Pure bigraphs: structure and dynamics
Information and Computation
Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
Theoretical Computer Science - Logic, language, information and computation
A derivation system and compositional logic for security protocols
Journal of Computer Security
Architectural issues in network-centric computing
ACM SIGSOFT Software Engineering Notes
Name-passing in an ambient-like calculus and its proof using spatial logic
Theoretical Computer Science - Expressiveness in concurrency
Computation in networks of passively mobile finite-state sensors
Distributed Computing - Special issue: PODC 04
Generalised multisets for chemical programming
Mathematical Structures in Computer Science
Proceedings of the 5th international conference on Generative programming and component engineering
Transition systems, link graphs and Petri nets
Mathematical Structures in Computer Science
A calculus for reasoning about software composition
Theoretical Computer Science - Formal methods for components and objects
Theoretical Computer Science - Mathematical foundations of computer science 2000
Deciding implication for functional dependencies in complex-value databases
Theoretical Computer Science - Logic, language, information and computation
Protocol Composition Logic (PCL)
Electronic Notes in Theoretical Computer Science (ENTCS)
Structuring Operational Semantics: Simplification and Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Fundamenta Informaticae
A rewriting logic framework for operational semantics of membrane systems
Theoretical Computer Science
The rewriting logic semantics project
Theoretical Computer Science
SOS formats and meta-theory: 20 years after
Theoretical Computer Science
Higher-Order and Symbolic Computation
A Calculus of Global Interaction based on Session Types
Electronic Notes in Theoretical Computer Science (ENTCS)
Graph rewriting for the π-calculus
Mathematical Structures in Computer Science
A Rewriting Logic Approach to Operational Semantics (Extended Abstract)
Electronic Notes in Theoretical Computer Science (ENTCS)
Π machines: virtual machines realizing graph structured transition P systems
ACM SIGPLAN Notices
Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning
ACM Transactions on Software Engineering and Methodology (TOSEM)
Termination of just/fair computations in term rewriting
Information and Computation
Modelling Dynamic Software Architectures using Typed Graph Grammars
Electronic Notes in Theoretical Computer Science (ENTCS)
Engineering Societies in the Agents World VIII
Abstract Semantics by Observable Contexts
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
G-Reactive Systems as Coalgebras
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
A topological approach to chemical organizations
Artificial Life
The Chemical Reaction Model Recent Developments and Prospects
Software-Intensive Systems and New Computing Paradigms
An Artificial Chemistry for Networking
Bio-Inspired Computing and Communication
Using Tuple Space to Coordinate Multiagent Activities
KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference
Synthesising CCS bisimulation using graph rewriting
Information and Computation
First Steps Towards a Wet Implementation for τ -DPP
Membrane Computing
Defining and Executing P Systems with Structured Data in K
Membrane Computing
A Coalgebraic Theory of Reactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A rewriting logic approach to operational semantics
Information and Computation
A framework for modelling and implementing self-organising coordination
Proceedings of the 2009 ACM symposium on Applied Computing
Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors
Electronic Notes in Theoretical Computer Science (ENTCS)
Making the Unobservable, Unobservable
Electronic Notes in Theoretical Computer Science (ENTCS)
Biochemical Tuple Spaces for Self-organising Coordination
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Formalizing Operational Semantic Specifications in Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
Theoretical Computer Science
Relating state-based and process-based concurrency through linear logic (full-version)
Information and Computation
Encoding Asynchronous Interactions Using Open Petri Nets
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
A Port Graph Calculus for Autonomic Computing and Invariant Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
Artificial Life
A computational framework for modelling multicellular biochemistry
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
The Implication Problem of Functional Dependencies in Complex-value Databases
Electronic Notes in Theoretical Computer Science (ENTCS)
A Generalized Higher-Order Chemical Computation Model
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
The Rewriting Logic Semantics Project
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantics of Visual Models in a Rule-based Setting
Electronic Notes in Theoretical Computer Science (ENTCS)
Pure bigraphs: Structure and dynamics
Information and Computation
Mathematical Structures in Computer Science
Semantic barbs and biorthogonality
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
MetaSelf: an architecture and a development method for dependable self-* systems
Proceedings of the 2010 ACM Symposium on Applied Computing
OPERASCC: an instance of a formal framework for MAS modeling based on population P systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
Objective coordination in multi-agent system engineering: design and implementation
Objective coordination in multi-agent system engineering: design and implementation
A thread calculus with molecular dynamics
Information and Computation
Towards a pervasive infrastructure for chemical-inspired self-organising services
SOAR'09 Proceedings of the First international conference on Self-organizing architectures
K-Maude: a rewriting based tool for semantics of programming languages
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Minimization strategies for maximally parallel multiset rewriting systems
Theoretical Computer Science
Spatial Coordination of Pervasive Services through Chemical-Inspired Tuple Spaces
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Review: coordination models and languages: From parallel computing to self-organisation
The Knowledge Engineering Review
A formal library of set relations and its application to synchronous languages
Theoretical Computer Science
On efficiency of collective intelligence phenomena
Transactions on computational collective intelligence III
The rewriting logic semantics project: a progress report
FCT'11 Proceedings of the 18th international conference on Fundamentals of computation theory
A formal modelling framework for developing multi-agent systems with dynamic structure and behaviour
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
On a probabilistic chemical abstract machine and the expressiveness of linda languages
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Termination of fair computations in term rewriting
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Stably computable properties of network graphs
DCOSS'05 Proceedings of the First IEEE international conference on Distributed Computing in Sensor Systems
JSCL: a middleware for service coordination
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
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
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
Higher-Order chemical programming style
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
Graph processes with fusions: concurrency by colimits, again
Formal Methods in Software and Systems Modeling
A generic membrane model (note)
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
An abstract machine for the kell calculus
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Computing with a distributed reaction-diffusion model
MCU'04 Proceedings of the 4th international conference on Machines, Computations, and Universality
Congruence for structural congruences
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Beta binders for biological interactions
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Basic notions of reaction systems
DLT'04 Proceedings of the 8th international conference on Developments in Language Theory
A unified formal model for service oriented architecture to enforce security contracts
Proceedings of the 11th annual international conference on Aspect-oriented Software Development Companion
Process bisimulation via a graphical encoding
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Observing reductions in nominal calculi via a graphical encoding of processes
Processes, Terms and Cycles
4LeGE-WG'04 Proceedings of the 4th international LeGE-WG conference on Towards a European Learning Grid Infrastructure: progressing with a European Learning Grid
A Denotational Semantics for the π-Calculus
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
Pervasive ecosystems: a coordination model based on semantic chemistry
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Towards a unified theory of operational and axiomatic semantics
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
A social software-based coordination platform: tool paper
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
Computing with large populations using interactions
MFCS'12 Proceedings of the 37th international conference on Mathematical Foundations of Computer Science
Fundamenta Informaticae
An excursion in reaction systems: From computer science to biology
Theoretical Computer Science
Integrating Forms of Interaction in a Distributed Model
Fundamenta Informaticae
Distributed Concurrent Constraint Programming
Fundamenta Informaticae
Checking reachability using matching logic
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Natural Computing: an international journal
Coalgebraic models for reactive systems
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
A truly concurrent semantics for the K framework based on graph transformations
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
On competitive self-composition in pervasive services
Science of Computer Programming
Modelling of bonding with processes and events
RC'13 Proceedings of the 5th international conference on Reversible Computation
Reversibility and asymmetric conflict in event structures
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
The rewriting logic semantics project: A progress report
Information and Computation
Runtime Verification for Biochemical Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
| Hi-index | 0.01 |