[go: up one dir, main page]

Banach et al., 1995 - Google Patents

A Translation of the Pi-Calculus into MONSTR

Banach et al., 1995

View PDF
Document ID
13911570442956098897
Author
Banach R
Balazs J
Papadopoulos G
Publication year
Publication venue
J. UCS The Journal of Universal Computer Science: Annual Print and CD-ROM Archive Edition Volume 1• 1995

External Links

Snippet

A translation of the π-calculus into the MONSTR graph rewriting language is described and proved correct. The translation illustrates the heavy cost in practice of faithfully implementing the communication primitive of the π-calculus and similar process calculi. It also illustrates …
Continue reading at www2.cs.ucy.ac.cy (PDF) (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/20—Handling natural language data
    • G06F17/21—Text processing
    • G06F17/22—Manipulating or registering by use of codes, e.g. in sequence of text characters
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/20—Handling natural language data
    • G06F17/27—Automatic analysis, e.g. parsing
    • G06F17/2705—Parsing
    • G06F17/271—Syntactic parsing, e.g. based on context-free grammar [CFG], unification grammars
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
    • G06F17/30943—Information retrieval; Database structures therefor; File system structures therefor details of database functions independent of the retrieved data type
    • G06F17/30946—Information retrieval; Database structures therefor; File system structures therefor details of database functions independent of the retrieved data type indexing structures
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
    • G06F17/30286—Information retrieval; Database structures therefor; File system structures therefor in structured data stores
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformations of program code
    • G06F8/41—Compilation
    • G06F8/42—Syntactic analysis
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
    • G06F17/30861—Retrieval from the Internet, e.g. browsers
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/31—Programming languages or programming paradigms
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity

Similar Documents

Publication Publication Date Title
Moriconi et al. Correct architecture refinement
Barendregt et al. Proof-assistants using dependent type systems
Abramsky et al. A fully abstract game semantics for general references
Schwerhoff Advancing automated, permission-based program verification using symbolic execution
Turner The polymorphic pi-calculus: Theory and implementation
Fu et al. Model checking XML manipulating software
Caires et al. Linearity, control effects, and behavioral types
Best et al. Petri nets, process algebras and concurrent programming languages
Dross et al. Adding decision procedures to SMT solvers using axioms with triggers
Badouel et al. Petri nets with structured data
Clavel et al. A maude tutorial
Banach et al. A Translation of the Pi-Calculus into MONSTR
Pommereau Algebras of coloured Petri nets
Tuerk A separation logic framework for HOL
Damm et al. Live and let die: LSC based verification of UML models
Colvin et al. CSP with hierarchical state
Devillers et al. A compositional Petri net translation of general π-calculus terms
Starr et al. Models to Code
Fisher et al. Building language towers with Ziggurat
Balland et al. Effective strategic programming for Java developers
Ferrari et al. Model checking for nominal calculi
Johansson Psi-calculi: a framework for mobile process calculi: Cook your own correct process calculus-just add data and logic
Damm et al. Live and let die: LSC-based verification of UML-models
Best et al. The Box Algebra—; A Model of Nets and Process Expressions
Schürr et al. Formal definition of UML’s package concept