Denotational semantic models for real-time LOTOS

Denotational semantic models for real-time LOTOS

Bibliographic Details
Main Author:	Bryans, Jeremy William
Published:	University of Reading 1996
Subjects:	005 Computer software & programming
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.360755

Similar Items

A correspondence between denotational semantics and code generation
by: Raskovsky, M. R.
Published: (1982)

Distributed systems : architecture-driven specification using extended LOTOS
by: McClenaghan, Ashley
Published: (1993)

Evaluation and denotation of pure LISP programs : a worked example in semantics
by: Gordon, Michael J. C.
Published: (1974)

A denotational semantics for concurrent ADA programs
by: Mearns, I.
Published: (1983)

Modelling and evaluating timing constraints in real-time systems
by: Berryman, Steven John
Published: (1993)

Requirements modelling of real-time systems
by: Sateesh, Tiptur K.
Published: (1995)

Semantic models for communicating processes with value-passing
by: Ingolfsdottir, Anna
Published: (1994)

Iterative construction of data modelling language semantics
by: Botting, Richard
Published: (1997)

Semantic-constraint modelling for small database management systems
by: Eaglestone, B. M.
Published: (1985)

A semantic object-oriented shell for the relational model
by: Balian, Aram
Published: (1993)

An object-oriented approach to the modelling of real-time computer systems and communication protocols
by: Al-Rowaihi, Salem F. K.
Published: (1991)

A semantic study of data independence with applications to model checking
by: Lazic, Ranko S.
Published: (1999)

A real-time operating system
by: Roker, I. G. R. J.
Published: (1986)

Imprecision in real-time systems : theory and practice
by: Portman, Martin
Published: (1994)

A refinement calculus for real-time systems
by: Scholefield, David Jason
Published: (1992)

Replication and fault-tolerance in real-time systems
by: Waterworth, Adrian
Published: (1992)

Semantics of object-oriented languages
by: Wolczko, M. I.
Published: (1988)

Real-time extensions of April for time-aware multi-agent systems programming
by: Prouskas, Konstantinos-Vassileios
Published: (2002)

Schedulability analysis for fault tolerant real-time systems
by: Punnekkat, Sasikumar
Published: (1997)

A development method for trusted real-time kernels
by: Fowler, Simon Quiller
Published: (1998)

A visual programming language for real-time systems
by: Gee, David Malcolm
Published: (1994)

The semantics and implementation of machine-readable CSP
by: Scattergood, Bryan
Published: (1998)

Deductive and algorithmic analysis of real-time concurrent Ada programs
by: Gerdsmeier, Thorsten
Published: (2001)

Fault tolerance in industrial microprocessor based real time controllers
by: Rave, O. L.
Published: (1983)

A temporal logic for the specification and verification of real-time systems
by: Naik, Yogesh
Published: (1993)

Semantic primitives for object-oriented programming languages
by: Clark, Anthony Neil
Published: (1996)

Semantic net based hypertext for authoring and reuse
by: Wang, Weigang
Published: (1995)

Semantic integrity enforcement in parallel database machines
by: McCarroll, Niall Fraser
Published: (1995)

Enhancing the semantic power of functional database languages
by: Ayers, Robert
Published: (1995)

Semantics of a synchronous parallel programming language
by: Narayana, K. T.
Published: (1982)

Semantic query optimization in relational database management systems
by: Sayli, Ayla
Published: (1999)

Automatic scheduling and parallel code generation for high performance real-time systems
by: Galparsoro, Miguel Angel Maiza
Published: (1997)

A skeleton-based approach for distributed real-time systems design and implementation
by: Cai, Hua
Published: (2000)

Parallel computing for real-time simulation and condition monitoring of fluid power systems
by: Pollmeier, Klemens
Published: (1997)

Real time fault detection and diagnosis in dynamic engineering systems using constraint analysis
by: Marrison, N. A.
Published: (1992)

Reconfigurable FPGA-based message routing for embedded real-time parallel processing applications
by: Frost, Graham
Published: (1998)

A skeleton-based programming environment for parallel and distributed fault-tolerant real-time systems
by: Outram, Matthew Edward
Published: (1999)

An interpretive real-time language for process control : 'Arcol', implementation in distributed process control environment
by: Hessami, A. G.
Published: (1980)

A computer-aided software engineering tool to model, analyze and simulate scheduling algorithms to assist in the design and development of embedded hard real-time systems
by: Schnetler, Hermine
Published: (1992)

A semantic knowledge-based computational dictionary for support of natural language processing systems
by: Al-Hafez, Muhammad Yassin
Published: (1993)