Vi introducerar en ny sorts abstrakt maskin baserad på den kemiska metafor som används i l? Språk av Ban%tre & al. Tillstånd av en maskin är kemiska lösningar där flytande molekyler kan interagera enligt reaktionsregler. Lösningar kan stratifieras genom att inkapslade sublösningar i membran som tvingar reaktioner att inträffa lokalt. Vi illustrerar användningen av denna modell genom att beskriva den operativa semantiken i TCCS- och CCS-processens kalkyl. Vi visar också hur man extraherar en högre ordning samtidiga &calculus ur de grundläggande begreppen i den kemiska abstrakta maskinen. Situationen är mycket mindre tydlig när det gäller samtidig programplanering. Modeller som Petri Nets, Communicating Automata, eller Data Flow Networks kan betraktas som abstrakta maskiner, men definitivt de saknar uttryckskraft. Mer uttrycksfulla modeller som Algebraic Process Calculi (18, 6] är avsedda att specificera formalismer för distribuerade system snarare än abstrakta maskiner. Genomförandemodeller för samtida programmeringsspråk som CSP [IS] bygger konceptuellt på standardiserade sekventiella maskinmodeller som utökas med schemaläggningsanläggningar, inte på specifika abstrakta maskiner.
I REF introduceras en abstrakt maskin baserad på den kemiska metaforen: tillstånd är kemiska lösningar där flytande molekyler kan interagera enligt reaktionsregler.
The chemical abstract machine
{'venue': "POPL '90", 'journal': None, 'mag_field_of_study': ['Computer Science']}