J.C.M. Baeten J.A. Bergstra Gh. Stefanescu Department of Computing Science,...  Home/Search
Context Related
| info.science.uva.nl/pub/pr...P9419.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: info.science.uva.nl/pub/progra... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We consider process graphs over a set of pins, i.e. with multiple entries and exits. On process graphs modulo bisimulation, we can define all standard process algebra operators plus the feedback operator from flowchart theory. We provide a complete axiomatisation for finite processes. Considering the one-point pin structure, we get back standard process algebra. (Update)
Context of citations to this paper: More
.... for Software Renovation Factories from Context free Grammars Mark van den Brand Alex Sellink Chris Verhoef Report P9705 June University of Amsterdam Department of Computer Science Programming Research Group Generation of components for software renovation factories from...
...or false. program fac begin declare input: natural, output: natural, repnr: natural, rep: natural; input : 3; output : 1; while (input 1 0) do rep : output; repnr : input; while (repnr 1 0) do output : output rep; repnr : repnr 1 od; input : input 1 od...
Cited by: More
Basic Multi-Competence Programming - Bergstra, Bethke, Ponse (2000) (Correct)
Processes with Multiple Entries and Exits - Bergstra, Stefanescu (1995) (Correct)
Processes with Multiple Entries and Exits Modulo.. - Bergstra, Stefanescu (1994) (Correct)
Active bibliography (related documents): More All
3.4: Process Algebra with Feedback - Baeten, Bergstra, Stefanescu (Correct)
0.4: Network Algebra for Asynchronous Dataflow - Bergstra, Middelburg, Stefanescu (1997) (Correct)
0.4: Network Algebra for Synchronous and Asynchronous Dataflow - Bergstra, Middelburg.. (1995) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
Related documents from co-citation: More All
6: Sequential data algebra primitives - Bergstra, Sellink - 1996
5: Discrete time process algebra (context) - Baeten, Bergstra
4: Network algebra for synchronous and asynchronous dataflow - Bergstra, Middelburg et al.
BibTeX entry: (Update)
@misc{ gh-process,
author = "Baeten Bergstra Gh",
title = "Process Algebra with Feedback",
url = "citeseer.ist.psu.edu/766198.html" }
Citations (may not include all citations):1933 Communication and concurrency (context) - Milner - 1989
266 Cambridge Tracts in Theoretical Computer Science (context) - Baeten, Weijland et al. - 1990
231 A theory of communicating sequential processes (context) - Brookes, Hoare et al. - 1984
218 Process algebra for synchronous communication (context) - Bergstra, Klop - 1984
123 A congruence theorem for structured operational semantics wi.. - Baeten, Verhoef - 1993
49 Process algebra with iteration and nesting (context) - Bergstra, Bethke et al. - 1994
41 A general conservative extension theorem (context) - Verhoef - 1994
29 Models and axioms for a fragment of real time process algebr.. (context) - Klusener - 1993
27 Towards a new algebraic foundation of flowchart scheme theor.. (context) - Cazanescu, Stefanescu - 1990
24 deadlock and divergence (context) - Aceto, Hennessy - 1992
15 A calculus of dataflow networks (context) - Stark - 1992
11 Reflexive molecular forms (context) - Milner, Calculi - 1994
10 Formal Aspects of Computing (context) - Baeten, Bergstra et al. - 1994
9 the equational logic of iterative processes (context) - Bloom, Esik et al. - 1993
7 Process algebra with combinators - Bergstra, Bethke et al. - 1994
7 a calculus for isomorphism classes of flowchart schemes (context) - Stefanescu, theories - 1990
7 Process algebra with a zero object (context) - Baeten, Bergstra - 1990
6 A general result of abstract flowchart schemes with applicat.. (context) - Cazanescu, Stefanescu - 1992
5 Computing Science Institute (context) - Barendregt, Wupper et al. - 1994
4 An algebraic model of synchronous systems (context) - Bartha - 1992
3 Processes with multiple entries and exits modulo isomorphism.. - Bergstra, Stefanescu - 1994
2 the deterministic case (context) - Stefanescu, theories - 1987
2 the non-deterministic case (context) - Stefanescu, theories - 1987
2 to appear in: Handbook of logic in computer science (context) - Baeten, Verhoef et al. - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://info.science.uva.nl/pub/programming-research/reports/1994/): More
Using Filters for the Disambiguation - Of Context-Free Grammars (Correct)
Inductive Proofs with Sets, and some Applications in Process.. - van Wamel (Correct)
A Real Time µCRL Specification of a System for Traffic.. - Koens, Oei (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC