The following pages link to The chemical abstract machine (Q1190491):
Displayed 50 items.
- Runtime verification for biochemical programs (Q271709) (← links)
- On the diversity of asynchronous communication (Q315311) (← links)
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- Processes in space (Q418828) (← links)
- A calculus of quality for robustness against unreliable communication (Q492911) (← links)
- An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (Q520240) (← links)
- On the computational complexity of membrane systems (Q596128) (← links)
- Minimization strategies for maximally parallel multiset rewriting systems (Q633694) (← links)
- A formal library of set relations and its application to synchronous languages (Q654904) (← links)
- A multiset semantics for the pi-calculus with replication (Q672867) (← links)
- On the implementation of concurrent calculi in net calculi: two case studies (Q673785) (← links)
- An excursion in reaction systems: from computer science to biology (Q714816) (← links)
- Relating state-based and process-based concurrency through linear logic (full-version) (Q731895) (← links)
- Algebraic specification of agent computation (Q814896) (← links)
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- Deciding implication for functional dependencies in complex-value databases (Q860838) (← links)
- A rewriting logic framework for operational semantics of membrane systems (Q877021) (← links)
- The rewriting logic semantics project (Q877024) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types (Q880987) (← links)
- Reversibility and asymmetric conflict in event structures (Q890616) (← links)
- Theory of interaction (Q896903) (← links)
- Termination of just/fair computations in term rewriting (Q924727) (← links)
- Pathway analysis for BioAmbients (Q953532) (← links)
- Interpreting a finitary pi-calculus in differential interaction nets (Q979075) (← links)
- An overview of the K semantic framework (Q987974) (← links)
- A thread calculus with molecular dynamics (Q988554) (← links)
- Synthesising CCS bisimulation using graph rewriting (Q1004288) (← links)
- Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS (Q1007235) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- Reaction graph (Q1273068) (← links)
- Multisets and structural congruence of the pi-calculus with replication (Q1274455) (← links)
- Process calculus based upon evaluation to committed form (Q1276241) (← links)
- On bisimulations for the asynchronous \(\pi\)-calculus (Q1276246) (← links)
- A calculus for cryptographic protocols: The spi calculus (Q1283776) (← links)
- An abstract machine for concurrent modular systems: CHARM (Q1314422) (← links)
- On reduction-based process semantics (Q1350347) (← links)
- Computing in unpredictable environments: semantics, reduction strategies, and program transformations (Q1389440) (← links)
- Typing correspondence assertions for communication protocols (Q1399972) (← links)
- On dynamically non-trivial three-valued logics: Oscillatory and bifurcatory species (Q1433787) (← links)
- Mobile ambients (Q1575154) (← links)
- Actor languages. Their syntax, semantics, translation, and equivalence (Q1575845) (← links)
- Computing with membranes (Q1582013) (← links)
- Dynamic connectors for concurrency (Q1603689) (← links)
- Compositional SOS and beyond: A coalgebraic view of open systems (Q1603820) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- A calculus for reasoning about software composition (Q1770365) (← links)
- Analysing input/output-capabilities of mobile processes with a generic type system (Q1772312) (← links)
- On membrane hierarchy in P systems (Q1779299) (← links)
- Observational congruences for dynamically reconfigurable tile systems (Q1782000) (← links)