Hans Hüttel, Kim G. Larsen  Home/Search
Context Related
| cs.auc.dk/~hans/Publications...botik.ps 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: cs.auc.dk/~hans/Publicatio...pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper we want to demonstrate that --- from a practical (Update)
Context of citations to this paper: More
.... However, our results extend to a variety of parallel compositions via parameterization on a synchronization function as studied in [HL89]. Thus, we may consider parameterized network of the form 15 (A 1 ; A n )j f , where f is a synchronization (partial) function...
Cited by: More
Automatic Synthesis of Real Time Systems - Andersen, Kristoffersen, Larsen, .. (1994) (Correct)
Active bibliography (related documents): More All
0.1: A Semantic Theory for Value-Passing Processes Late Approach - Ingólfsdóttir (1995) (Correct)
0.1: Linearity of Client/Server Systems - Antoni, Cabianca, Vaccari, Benini.. (1995) (Correct)
0.1: Fault-Tolerant Bisimulation and Process Transformations - Janowski (1994) (Correct)
Similar documents based on text: More All
0.2: A New Continuous Propositional Logic - Poli, Ryan, Sloman (1995) (Correct)
0.1: Individual Tree Top Position Estimation By Template Voting - Morten Larsen Royal (Correct)
0.1: Construction of Confidence Intervals for Neural Networks . . . - Larsen, Hansen (2001) (Correct)
Related documents from co-citation: More All
2: Compositionality through an operational semantics of contexts (context) - Larsen, Xinxin - 1991
BibTeX entry: (Update)
Hans Huttel and Kim G. Larsen. The Use of Static Constructs in a Modal Process Logic. Lecture Notes in Computer Science, (363), 1989. Logic at Botik'89. http://citeseer.ist.psu.edu/huttel89use.html More
@inproceedings{ huttel89use,
author = "Huttel and Larsen",
title = "The Use of Static Constructs in a Modal Process Logic",
booktitle = "{LFCS}: The 1st International Symposium on Logical Foundations of Computer Science",
year = "1989",
url = "citeseer.ist.psu.edu/huttel89use.html" }
Citations (may not include all citations):216 Theoretical Computer Science (context) - Robin, Synchrony - 1983
38 Proof Systems for Hennessy-Milner Logic with Recursion (context) - Kim - 1988
33 A Context-Dependent Bisimulation Between Processes (context) - Kim - 1986
8 Milner: Algebraic Laws for Nondeterminism and Concurrency (context) - Hennessy - 1985
8 Combinators and Bisimulation Proofs for Restartable Systems - Prasad - 1987
1 and Bent Thomsen: A Modal Process Logic (context) - Kim - 1988
1 Reasoning about CCS agents using Hennessy--Milner logic exte.. (context) - Holmstrom - 1988
Documents on the same site (http://www.cs.auc.dk/~hans/Publications/pubs.html): More
Undecidable Equivalences for Basic Parallel Processes - Hüttel (1993) (Correct)
The Complexity of Deciding Behavioural Equivalences and Preorders - Hüttel, Shukla (Correct)
Relating Semantic Models for the Object Calculus - Aceto, Hüttel.. (1997) (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