Alexander James Cowie  Home/Search
Context Related
| unisa.edu.au/~cisajc/thesis.pdf 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: unisa.edu.au/~cisajc (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Contents 1 Introduction 1 1.1 Basic Concepts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.1.1 What is a system? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.1.2 Complexity in system behaviours . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.1.3 Modelling systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.1.4 Frameworks for modelling . . . . . . . . . . . . . . . . . . . . . .... (Update)
Cited by: More
Capturing Informal Requirements as Formal Models - Rubens Fernandes Rubens (2004) (Correct)
Active bibliography (related documents): More All
0.6: A Process Algebra Approach to the Verification of.. - Cerone, Cowie, Milne, .. (Correct)
0.5: SCCircal: a Static Compiler Mapping XCircal to Virtex FPGAs - Detrey, Diessel (Correct)
0.5: On the Operational Semantics of Nondeterminism and.. - Erdogmus, Johnston.. (1995) (Correct)
Similar documents based on text: More All
0.6: A Constructive Proof of the Turing Completeness of Circal - Detrey, Diessel (Correct)
0.2: Events in Property Patterns - Chechik, Paun (1999) (Correct)
0.1: Specification of Timing Constraints within the Circal Process.. - Cerone, Milne (1997) (Correct)
BibTeX entry: (Update)
A. J. Cowie, "The modelling of temporal properties in a process algebra framework," Ph.D. dissertation, School of Computer and Information Science, Faculty of Information Technology, University of South Australia, 1999. http://citeseer.ist.psu.edu/cowie99modelling.html More
@misc{ cowie99modelling,
author = "A. Cowie",
title = "The modelling of temporal properties in a process algebra framework",
text = "A. J. Cowie, The modelling of temporal properties in a process algebra
framework, Ph.D. dissertation, School of Computer and Information Science,
Faculty of Information Technology, University of South Australia, 1999.",
year = "1999",
url = "citeseer.ist.psu.edu/cowie99modelling.html" }
Citations (may not include all citations):2157 Design Patterns: Elements of Reusable ObjectOriented Softwar.. (context) - Gamma, Helm et al. - 1994
1726 Graph-based algorithms for boolean function manipulation - Bryant - 1986
1180 The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
861 Tcl and the Tk Toolkit - Ousterhout - 1994
828 Model checking - Clarke, Grumberg et al. - 1994
666 Theoretical Computer Science (context) - Alur, Dill et al. - 1994
603 Kluwer Academic Publishers (context) - McMillan, Checking - 1993
447 Prentice-Hall International (context) - Milner, Concurrency - 1989
407 Introduction to the ISO specification language LOTOS (context) - Bolognesi, Brinskma - 1989
357 Algebraic laws for nondeterminism and concurrency (context) - Hennessy, Milner - 1985
299 Algebraic Theory of Processes (context) - Hennessy - 1988
232 The concurrency workbench: A semantics-based tool for the ve.. - Cleaveland, Parrow et al. - 1993
203 An Introduction to Modal Logic (context) - Hughes, Cresswell - 1968
186 A temporal calculus of communicating systems (context) - Moller, Tofts
149 Testing equivalences for processes (context) - DeNicola, Hennessy - 1984
146 EATCS Monographs on Theoretical Computer Science (context) - Reisig, An - 1985
144 Models for concurrency - Winskel, Nielsen - 1995
139 An introduction to event structures (context) - Winskel
129 An overview and synthesis of timed process algebras (context) - Nicollin, Sifakis
126 A timed model for communicating sequential processes (context) - Reed, Roscoe - 1988
102 Verification tools for finite-state concurrent systems - Clarke, Long
86 Basic notions of trace theory (context) - Mazurkiewicz
81 The linear time -- branching time spectrum (context) - van Glabbeek
70 A process algebra for timed systems (context) - Hennessy, Regan - 1995
65 Specification styles in distributed systems design and verif.. - Vissers, Scollo et al. - 1991
53 Lectures on Petri Nets I: Basic Models (context) - Reisig, Rozenberg - 1998
46 A toolbox for the verification of LOTOS programs - Fernandez
44 Property specification patterns for finite-state verificatio.. - Dwyer, Avrunin et al.
41 A classification of models for concurrency (context) - Sassone, Nielsen et al.
30 LOTOS-like process algebra with urgent or timed interactions (context) - Bolognesi, Lucidi
28 PAM: A process algebra manipulator - Lin - 1992
25 Institut National de Recherche en Informatique et Automatiqu.. (context) - Leroy, Light et al. - 1997
24 The concurrency factory: A development environment for concu.. - Cleaveland, Lewis et al.
24 ACM Transactions on Programming Languages and Systems (context) - Milne, the et al. - 1985
23 finite state processes and three problems of equivalence (context) - Kanellakis, Smolka - 1990
22 Petri Nets: Central Models and Their Properties (context) - Brauer, Reisig et al. - 1987
22 The linear time -- branching time spectrum II (context) - van Glabbeek
20 An introduction to modal and temporal logics for CCS (context) - Stirling
17 The concurrency factory -- practical tools for specification - Cleaveland - 1994
14 Testing equivalence as a bisimulation equivalence (context) - Cleaveland, Hennessy - 1989
13 Department of Computer Science (context) - Moller, of et al. - 1989
12 Characterization of temporal property classes - Chang, Manna et al. - 1992
11 Formal Specification and Verification of Digital Systems (context) - Milne - 1994
10 The concept of time in the specification of real time system.. (context) - Hoogeboom, Halang - 1992
9 Squiggles: A tool for the analysis of LOTOS specifications (context) - Bolognesi, Caneve - 1989
9 volume 600 of Lecture Notes in Computer Science (context) - de Bakker, Real-time et al. - 1992
7 Hardware description and verification using the Circal-Syste.. (context) - McCaskill, Milne - 1992
6 the role of basic design concepts in behaviour structuring - Quartel - 1997
4 Branching Time and Partial Orders in Logics and Models for C.. (context) - de Bakker, de Roever et al. - 1989
4 Sequential circuit analysis with a BDD based process algebra.. (context) - McCaskill, Milne - 1995
3 Simulation and verification: Related techniques for hardware.. (context) - Milne - 1985
3 Formal Specification and Verification in VLSI Design (context) - Davie - 1990
2 Prentice Hall Professional Technical Reference (context) - Roscoe, Practice - 1997
2 Formal methods for the specification and design of real-time.. (context) - Ostro - 1992
2 CCS without #s (context) - DeNicola, Hennessy
2 The XTC language reference manual (context) - McCaskill - 1992
2 The Verification of Concurrent Finite-State Systems (context) - Mao - 1992
1 Towards global computations guided by concurrency theory (context) - Thomsen, Thomsen - 1998
1 The rapid simulation of urban tra#c using field programmable.. (context) - Russell, Ferguson et al.
1 A Formal Approach to Hardware Analysis (context) - Traub - 1987
1 Process algebras and the rapid simulation of highly concurre.. (context) - Bate, Cowie et al.
1 An online repository for information about property specific.. (context) - pattern, Wide - 1998
1 Use of a high speed cellular automata machine to simulate ro.. (context) - Cockshott, McCaskill et al. - 1993
1 JACK: Just another concurrency kit: The integration project (context) - Bouali, Gnesi et al. - 1994
1 th International Conference on Concurrency Theory (context) - Best, CONCUR
1 World Student Series edition (context) - Aho, Sethi et al. - 1986
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