Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    UID:
    almahu_9948621403402882
    Format: VIII, 452 p. , online resource.
    Edition: 1st ed. 1989.
    ISBN: 9783540468110
    Series Statement: Lecture Notes in Computer Science, 398
    Note: Comparing linear and branching time temporal logics -- Interleaving set temporal logic -- An expressive logic for a process algebra with silent actions -- Temporal logic with fixed points -- On the relation of programs and computations to models of temporal logic -- Specification and verification of concurrent programs by ?-automata -- MCTL - An extension of CTL for modular verification of concurrent systems -- The model checking problem for concurrent systems with many similar processes -- Unified verification theory -- Specifying message passing systems requires extending temporal logic -- Extending interval logic to real time systems -- The prescription and description of state based systems -- Enforcing nondeterminism via linear time temporal logic specifications using hiding -- Specifying communicating systems with temporal logic -- Abstract object types: A temporal perspective -- Compositionality and modularity in process specification and design: A trace-state based approach -- Using temporal logic for prototyping: The design of a lift controller -- The declarative past and imperative future.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783662198063
    Additional Edition: Printed edition: ISBN 9783540518037
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages