Logics for Specifying Concurrent Information Systems

Logics for Specifying Concurrent Information Systems (1998)

Cached

Download Links

[www.csl.sri.com]

Other Repositories/Bibliography

DBLP

by Hans-Dieter Ehrich, Carlos Caleiro, et al.

Venue:	LOGICS FOR DATABASES AND INFORMATION SYSTEMS
Citations:	26 - 8 self

BibTeX

@MISC{Ehrich98logicsfor,
    author = {Hans-Dieter Ehrich and Carlos Caleiro and et al.},
    title = {Logics for Specifying Concurrent Information Systems},
    year = {1998}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

1412	The Temporal Logic of Reactive and Concurrent Systems - Manna, Pnueli - 1992
1234	The Entity-Relationship Model -- Toward a Unified View of Data - Chen - 1976
1225	A calculus of communicating systems - Milner - 1980
1191	Reasoning about knowledge - Fagin, Halpern, et al. - 1995
1009	Temporal and modal logic - Emerson - 1990
743	First-Order Dynamic Logic - Harel - 1997
698	Design and synthesis of synchronization skeletons using branching time temporal logic - Clarke, Emerson - 1981
448	Algebraic laws for nondeterminism and concurrency - Hennessy, Milner - 1985
440	Knowledge and common knowledge in a distributed environment - Halpern, Moses - 1990
334	UML Distilled: Applying the Standard Object Modeling Language - Fowler, Scott - 1997
312	Propositional dynamic logic of regular programs - Fischer, Ladner - 1979
242	Models for concurrency - Winskel, Nielsen - 1995
241	Event Structures - Winskel - 1986
231	Modeling Concurrency with Partial Orders - Pratt - 1986
212	On the temporal analysis of fairness - Gabbay, Pnueli, et al. - 1980
201	Database abstractions: Aggregation and generalization - Smith, Smith - 1977
197	Process Algebra - Baeten, Weijland - 1990
191	Object-oriented Development - The Fusion Method - Coleman, Arnold, et al. - 1994
184	Logics of Time and Computation - Goldblatt - 1992
145	The temporal logic of branching time - Ben-Ari, Manna, et al. - 1981
134	A Logical Theory of Concurrent Objects and its Realization in the Maude Language - Meseguer - 1993
120	Object-Oriented Software Engineering - Jacobson - 1992
101	Introducing OBJ3 - Goguen, Winkler - 1988
97	Unifying functional, object--oriented and relational programming with logical semantics - Goguen, Meseguer - 1987
92	sometimes" and "not never" revisited: on branching versus linear time temporal logic - Emerson, Halpern - 1983
69	Now you may compose temporal logic specifications - Barringer, Kuiper, et al. - 1984
62	Object-oriented specification of databases: An algebraic approach - Sernadas, Sernadas, et al. - 1987
53	Communicating sequential processes. Prentice-Hall - Hoare - 1985
45	A Trace Based Extension of Linear Time Temporal Logic - Thiagarajan - 1994
40	Concurrent dynamic logic - Peleg - 1987
35	Temporal logics for communicating sequential agents - Lodaya, Ramanujam, et al. - 1992
34	A little knowledge goes a long way: knowledge-based derivations and correctness proofs for a family of protocols - Halpern, Zuck - 1992
32	Interleaving set temporal logic - Katz, Peled - 1987
30	Lcm 3.0: A language for describing conceptual models -- syntax definition - Feenstra, Wieringa - 1993
29	A temporal logic for reasoning about partially ordered computations - Pinter, Wolper - 1984
28	A logical study of distributed transition systems - Lodaya, Parikh, et al. - 1995
28	Locally linear time temporal logic - Ramanujam - 1996
28	The basic building blocks of information systems - Sernadas, Fiadeiro, et al. - 1989
27	Local Specification of Distributed Families of Sequential Objects - Ehrich, Sernadas - 1995
26	Temporal aspects of logical procedure definition - Sernadas - 1980
21	Object Database Standard - Cattell - 1994
21	An institution of object behaviour - Sernadas, Costa, et al. - 1994
19	Module composition and system design for the object paradigm - Goguen, Socorro - 1995
18	Object Specification - Ehrich - 1997
18	Introducing FOOPS - Rapanotti, Socorro - 1992
16	Temporal theories as modularization units for concurrent systems specification - Fiadeiro, Maibaum - 1992
16	A hierarchy of temporal logics with past - Schnoebelen - 1995
15	A temporal logic approach to object certification - Sernadas, Sernadas, et al. - 1996
14	A temporal logic for event structures - Penczek - 1988
12	The GNOME language: Syntax, semantics and calculus - Sernadas, Ramos - 1994