Atsushi Togashi, Shigetomo Kimura  Home/Search
Context
Related
| netlab.is.tsukuba.ac.jp...ieice94.ps.gz 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: netlab.is.tsukuba.ac.jp/...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper considers algebraic basic processes, a subset of communicating processes in CCS by Milner, and presents a synthesis algorithm to infer a process that satisfies the properties of the process, represented as formulae in Hennessy-Milner Logic. The validity of the proposed algorithm can be stated that it synthesizes a process in the limit, which cannot be distinguished from the target one with respect to the strong equivalence. key words: inductive inference, algebraic process, CCS,... (Update)
Active bibliography (related documents): More All
0.1: A Refinement Logic for the Fork Calculus - Havelund, Larsen (1995) (Correct)
0.1: International Refinement Workshop & Formal Methods.. - Grundy, Schwenke, (eds.) (1998) (Correct)
0.1: On Refinement and Temporal Annotations - van der Meyden, Moses (Correct)
Similar documents based on text: More All
0.2: Synthesis of Algebraic Processes Based on Process Enumeration - Kimura, TOGASHI, NOGUCHI (Correct)
0.1: Introduction of Economic-Oriented Fairness to Process Algebras - Kimura, Ebihara (1996) (Correct)
0.1: Name Matching v.s. Structure Matching in Typing Systems for the.. - Togashi (Correct)
BibTeX entry: (Update)
@misc{ togashi-inductive,
author = "Atsushi Togashi and Shigetomo Kimura",
title = "Inductive Inference of Algebraic Processes based on Hennessy-Milner Logic",
url = "citeseer.ist.psu.edu/251729.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
502 Concurrency and automata on infinite sequences (context) - Park - 1981
484 A Calculus of Communicating Systems (context) - Milner - 1980
407 Introduction to the ISO Specification Language LOTOS (context) - Bolognesi - 1989
357 Algebraic Laws for Nondeterminism and Concurrency (context) - Hennessy, Milner - 1985
328 Algorithmic Program Debugging (context) - Shapiro - 1982
244 Learning Regular Sets from Queries and Counterexamples (context) - Angluin - 1987
78 Modal Logics For Communicating Systems (context) - Stirling - 1987
63 Inductive Inference of Theories From Facts (context) - Shapiro - 1981
52 Learning from Good and Bad Data (context) - Laird - 1988
13 A Modal Characterization of Observational Congruence on Fini.. (context) - Graf, Sifakis - 1986
6 A Logic for the Description of Non-deterministic Programs an.. (context) - Graf, Sifakis - 1986
Documents on the same site (http://www.netlab.is.tsukuba.ac.jp/~kimura/papers.html):
Introduction of Economic-Oriented Fairness to Process Algebras - Kimura, Ebihara (1996) (Correct)
Synthesis of Algebraic Processes Based on Process Enumeration - Kimura, TOGASHI, NOGUCHI (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