Jan A. Bergstra Alban Ponse University of Amsterdam, Programming Research...  Home/Search
Context Related
| info.science.uva.nl/pub/pr...P9421.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 introduce frames as basic objects for the construction of transition systems, process graphs or automata. We provide an algebraic notation for frames, and display some theoretical results. (Update)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ alban-frame,
author = "Jan Bergstra Alban",
title = "Frame Algebra with Synchronous Communication",
url = "citeseer.ist.psu.edu/766483.html" }
Citations (may not include all citations):906 A structural approach to operational semantics - Plotkin - 1981
327 Languages and Machines (context) - Eilenberg - 1974
266 Cambridge Tracts in Theoretical Computer Science (context) - Baeten, Weijland - 1990
182 Structured operational semantics and bisimulation as a congr.. (context) - Groote, Vaandrager - 1992
176 a decision method in restricted second order arithmetic (context) - Buchi - 1962
96 Finite automata and their decision problems (context) - Rabin, Scott - 1959
43 the consistency of Koomen's fair abstraction rule (context) - Baeten, Bergstra et al. - 1987
37 Uber die Vollstandigkeit eines gewissen Systems der Arithmet.. (context) - Presburger - 1929
36 Higher-level synchronising devices in meije--SCCS (context) - de Simone - 1985
18 Enumerable sets are diophantine (context) - Matijasevic - 1970
14 Programming Research Group (context) - Bergstra, states et al. - 1989
12 Expressiveness results for process algebras - Vaandrager - 1993
11 Their Algebras and Grammars (context) - Buchi - 1989
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