Algebraic theories for contextual pre-nets
Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (2003) Algebraic theories for contextual pre-nets. In, 8th Italian Conference on Theoretical Computer Science, ICTCS 2003. Springer Verlag, 256-270.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
Download (264Kb) |
Description/Abstract
The algebraic models of computation for contextual nets that have been proposed in the literature either rely on a non-free monoid of objects, or introduce too many fictitious behaviors that must be somewhat filtered out. In this paper, we exploit partial membership equational logic to define a suitable theory of models, where the meaningful concurrent computations can be selected by means of membership predicates.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| ISBNs: | 3540202161 |
| Keywords: | petri nets, contextual petri nets, pre-nets, contextual pre-nets, petri nets process semantics, petri nets algebraic models, petri nets categorical semantics |
| Divisions: | Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Web & Internet Science |
| Item ID: | 262295 |
| Date Deposited: | 11 Apr 2006 |
| Last Modified: | 02 Mar 2012 12:21 |
| Contributors: | Bruni, R. (Author) Meseguer, J. (Author) Montanari, U. (Author) Sassone, V. (Author) Blundo, C. (Editor) Laneve, C. (Editor) |
| Date: | 2003 |
| Status: | Published |
| Publisher: | Springer Verlag |
| Further Information: | Google Scholar |
| ISI Citation Count: | 1 |
| URI: | http://eprints.soton.ac.uk/id/eprint/262295 |
Actions (login required)
 |
View Item |
