Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

36

CONCUR
1993
Springer

favoriteEmaildiscussreport

93views Distributed And Parallel Com...» more CONCUR 1993»

A Practical Technique for Process Abstraction

14 years 3 months ago

A Practical Technique for Process Abstraction

Download ect.bell-labs.com

cal Technique for Process Abstraction Glenn Bruns Department of Computer Science University of Edinburgh Edinburgh EH9 3JZ, UK Abstract. With algebraic laws a process can be simpliﬁed before verifying its equivalence with another process. Also needed are laws to allow a process to be simpliﬁed before verifying that it satisﬁes a temporal logic formula. Most previous work on this problem is based on property-preserving mappings between transition systems. The results presented here allow direct simpliﬁcation of process terms for some important classes of temporal properties.

Glenn Bruns

Real-time Traffic

Computer Science University | CONCUR 1993 | Distributed And Parallel Computing | Process Abstraction Glenn | Temporal Logic Formula |

claim paper

Related Content

» Symbolic Magnifying Lens Abstraction in Markov Decision Processes

» Supporting the Abstraction of Clinical Practice Guidelines Using Information Extraction

» Practices and Techniques for Engineering Process Capability Models

» A Practical Technique for Asynchronous Transaction Processing

» An Instructional Environment for Practicing Argumentation Skills

» Clustering Abstracts of Scientific Texts Using the Transition Point Technique

» A Practical Method for Verifying EventDriven Software

» REF A Practical AgentBased Requirement Engineering Framework

» A practical comparison of two KMeans clustering algorithms

Post Info
More Details (n/a)

Added	09 Aug 2010
Updated	09 Aug 2010
Type	Conference
Year	1993
Where	CONCUR
Authors	Glenn Bruns

Comments (0)