Extensional equivalence for transition systems
Acta Informatica
The International Joint Conference on theory and practice of software development on TAPSOFT '87
A parallel machine for multiset transformation and its programming style
Future Generation Computer Systems
Parallel program design: a foundation
Parallel program design: a foundation
Communications of the ACM
Communication and concurrency
A calculus of higher order communicating systems
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Notes on algebraic calculi of processes
Logics and models of concurrent systems
Categorical combinators, sequential algorithms, and functional programming (2nd ed.)
Categorical combinators, sequential algorithms, and functional programming (2nd ed.)
Towards a Lambda-Calculus for Concurrent and Communicating Systems
TAPSOFT '89/CAAP '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Continuation-based parallel implementation of functional programming languages
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
A logical theory of concurrent objects
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
The semantic foundations of concurrent constraint programming
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A small calculus for concurrent objects
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
Rewriting as a unified model of concurrency
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
Lively linear Lisp: “look ma, no garbage!”
ACM SIGPLAN Notices
A semantics for ML concurrency primitives
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Programming by multiset transformation
Communications of the ACM
Pi-calculus, dialogue games and full abstraction PCF
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
A calculus for cryptographic protocols: the spi calculus
Proceedings of the 4th ACM conference on Computer and communications security
Object graph rewriting: an experimental parallel implementation
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
A typed language for distributed mobile processes (extended abstract)
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A probabilistic poly-time framework for protocol analysis
CCS '98 Proceedings of the 5th ACM conference on Computer and communications security
Experience with memory management in open Linda systems
Proceedings of the 2001 ACM symposium on Applied computing
Resource access control in systems of mobile agents
Information and Computation
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
A Study of Abramsky's Linear Chemical Abstract Machine
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
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
Sequential and Concurrent Abstract Machines for Interaction Nets
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
Opject-Oriented Specification with the Parallel Multi-Label-Selective lambda-Calculus
SOFSEM '99 Proceedings of the 26th Conference on Current Trends in Theory and Practice of Informatics on Theory and Practice of Informatics
An Introduction to Functional Nets
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Probabilistic Polynomial-Time Equivalence and Security Analysis
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
From Molecular Computing to Molecular Programming
DNA '00 Revised Papers from the 6th International Workshop on DNA-Based Computers: DNA Computing
A Concurrent Object-Based Model and its Use for Coordinating Java Components
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Catalytic P systems, semilinear sets, and vector addition systems
Theoretical Computer Science
Free-ordered CUG on Chemical Abstract Machine
COLING '94 Proceedings of the 15th conference on Computational linguistics - Volume 2
On the computational complexity of membrane systems
Theoretical Computer Science
Multiset rewriting and the complexity of bounded security protocols
Journal of Computer Security
A biological programming model for self-healing
Proceedings of the 2003 ACM workshop on Survivable and self-regenerative systems: in association with 10th ACM Conference on Computer and Communications Security
On membrane hierarchy in P systems
Theoretical Computer Science
A formal model of concurrent systems based on bipartite directed acyclic graph
Science of Computer Programming - Special issue on quality system and software architectures
Active Evaluation Contexts for Reaction Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
What is a free name in a process algebra?
Information Processing Letters
Agent Environment and Knowledge in Distributed Join Calculus
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Concurrency, Graphs and Models
Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting
RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications
Verified interoperable implementations of security protocols
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine
Electronic Notes in Theoretical Computer Science (ENTCS)
Computation with finite stochastic chemical reaction networks
Natural Computing: an international journal
Theoretical Computer Science
ESPranto SDK: an adaptive programming environment for tangible applications
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Proceedings of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05
LMNtal as a hierarchical logic programming language
Theoretical Computer Science
CoBiC: Context-dependent Bioambient Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Rule-based programming for integrative biological modeling
Natural Computing: an international journal
A process algebra to formalize the Lyee methodology
Knowledge-Based Systems
Implementing Lyee-Calculus in Java
Knowledge-Based Systems
A monadic multi-stage metalanguage
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
A rule-based approach for automated generation of kinetic chemical mechanisms
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Combining formal methods and aspects for specifying and enforcing architectural invariants
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Type inference for a distributed π-calculus
ESOP'03 Proceedings of the 12th European conference on Programming
Interpreting a finitary pi-calculus in differential interaction nets
Information and Computation
Towards reasoning for web applications: an operational semantics for Hop
APLWACA '10 Proceedings of the 2010 Workshop on Analysis and Programming Languages for Web Applications and Cloud Applications
CiE'10 Proceedings of the Programs, proofs, process and 6th international conference on Computability in Europe
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part I
Strand algebras for DNA computing
Natural Computing: an international journal
Proceedings of the 9th International Conference on Computational Methods in Systems Biology
Self-organising pervasive ecosystems: a crowd evacuation example
SERENE'11 Proceedings of the Third international conference on Software engineering for resilient systems
Dynamic policy discovery with remote attestation
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
A compiler and run-time system for network programming languages
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Environment-based coordination through coordination artifacts
E4MAS'04 Proceedings of the First international conference on Environments for Multi-Agent Systems
Computations in space and space in computations
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
LMNtal: a language model with links and membranes
WMC'04 Proceedings of the 5th international conference on Membrane Computing
Theoretical Computer Science
Automated code injection prevention for web applications
TOSCA'11 Proceedings of the 2011 international conference on Theory of Security and Applications
Reasoning about Web Applications: An Operational Semantics for HOP
ACM Transactions on Programming Languages and Systems (TOPLAS)
On distributability in process calculi
ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
Abstract Machines for Game Semantics, Revisited
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 0.02 |
We introduce a new kind of abstract machine based on the chemical metaphor used in the &Ggr; language of Banâtre & al. States of a machine are chemical solutions where floating molecules can interact according to reaction rules. Solutions can be stratified by encapsulating subsolutions within membranes that force reactions to occur locally. We illustrate the use of this model by describing the operational semantics of the TCCS and CCS process calculi. We also show how to extract a higher-order concurrent &lgr;-calculus out of the basic concepts of the chemical abstract machine.