-
2
-
-
0001847686
-
Domain theory
-
S. Abramsky, D.M. Gabbay and T.S.E. Maibaum, editors, Clarendon Press
-
S. Abramsky, A. Jung, Domain Theory, In S. Abramsky, D.M. Gabbay and T.S.E. Maibaum, editors, Handbook of Logic in Computer Science, vol. 3, Clarendon Press, 1994.
-
(1994)
Handbook of Logic in Computer Science
, vol.3
-
-
Abramsky, S.1
Jung, A.2
-
5
-
-
0039805377
-
Denotational linear time semantics and sequential composition
-
C. Baier, M. Majster-Cederbaum: Denotational Linear Time Semantics and Sequential Composition, Information Processing Letters, Vol. 59, pp 135-143, 1996.
-
(1996)
Information Processing Letters
, vol.59
, pp. 135-143
-
-
Baier, C.1
Majster-Cederbaum, M.2
-
6
-
-
0031295244
-
Metric semantics from partial order semantics
-
C. Baier, M. Majster-Cederbaum: Metric Semantics from Partial Order Semantics, Acta Informatica, Vol. 34, pp 701-735, 1997.
-
(1997)
Acta Informatica
, vol.34
, pp. 701-735
-
-
Baier, C.1
Majster-Cederbaum, M.2
-
7
-
-
85032300457
-
Metric pomset semantics for a concurrent language with recursion
-
I. Guessarian, editor, Springer-Verlag
-
J.W. de Bakker, J.H.A. Warmerdam, Metric pomset semantics for a concurrent language with recursion, In I. Guessarian, editor, Semantics of Systems of Concurrent Processes, LNCS vol. 469, Springer-Verlag, 1990, 21-49.
-
(1990)
Semantics of Systems of Concurrent Processes, LNCS
, vol.469
, pp. 21-49
-
-
De Bakker, J.W.1
Warmerdam, J.H.A.2
-
8
-
-
0002367651
-
Design and synthesis of synchronization skeletons using branching time temporal logic
-
Springer-Verlag
-
E.M. Clarke, E.A. Emerson, Design and Synthesis of Synchronization Skeletons using Branching Time Temporal Logic, In Proc. Workshop on Logics of Programs, LNCS vol. 131, Springer-Verlag, 1981.
-
(1981)
Proc. Workshop on Logics of Programs, LNCS
, vol.131
-
-
Clarke, E.M.1
Emerson, E.A.2
-
9
-
-
2342544079
-
The safety-progress classification
-
NATO Advanced Science Institute Series, Springer-Verlag
-
E. Chang, Z. Manna, A. Pnueli, The Safety-Progress Classification, In Proc. Computer and System Science, NATO Advanced Science Institute Series, Springer-Verlag, 1992.
-
(1992)
Proc. Computer and System Science
-
-
Chang, E.1
Manna, Z.2
Pnueli, A.3
-
10
-
-
85029784740
-
Characterization of temporal property classes
-
W. Kuich, editor, Springer-Verlag
-
E. Chang, Z. Manna, A. Pnueli, Characterization of Temporal Property Classes, In W. Kuich, editor, Proc. ICALP92, LNCS vol. 623, Springer-Verlag, 1992, 474-486.
-
(1992)
Proc. ICALP92, LNCS
, vol.623
, pp. 474-486
-
-
Chang, E.1
Manna, Z.2
Pnueli, A.3
-
11
-
-
0007138912
-
Reasoning about fair concurrent programs
-
Berkeley, ACM Press
-
C. Courcoubetis, M. Vardi, P. Wolper, Reasoning about fair concurrent programs, In Proc. 18th ACM Symposium on Theory of Computing, Berkeley, ACM Press, 1986.
-
(1986)
Proc. 18th ACM Symposium on Theory of Computing
-
-
Courcoubetis, C.1
Vardi, M.2
Wolper, P.3
-
13
-
-
0004011095
-
-
Springer-Verlag
-
G. Gierz, H. Hofmann, K. Keimel, J. Lawson, M. Mislove, D. Scott, A Compendium of Continuous Lattices, Springer-Verlag, 1980.
-
(1980)
A Compendium of Continuous Lattices
-
-
Gierz, G.1
Hofmann, H.2
Keimel, K.3
Lawson, J.4
Mislove, M.5
Scott, D.6
-
14
-
-
0002116195
-
Modelling nondeterministic concurrent processes with event structures
-
U. Goltz, R. Loogen, Modelling Nondeterministic Concurrent Processes with Event Structures, Fundamenta Informaticae 14 1 (1991) 39-74.
-
(1991)
Fundamenta Informaticae
, vol.14
, Issue.1
, pp. 39-74
-
-
Goltz, U.1
Loogen, R.2
-
16
-
-
0040397831
-
Event fairness and non-interleaving concurrency
-
M. Kwiatkowska, Event Fairness and Non-Interleaving Concurrency, Formal Aspects of Computing 1 3 (1989) 213-228.
-
(1989)
Formal Aspects of Computing
, vol.1
, Issue.3
, pp. 213-228
-
-
Kwiatkowska, M.1
-
19
-
-
85029635831
-
On the domain of traces and sequential composition
-
S. Abramsky and T.S.E.. Maibaum, editors, Springer-Verlag
-
M. Kwiatkowska. On the domain of traces and sequential composition. In S. Abramsky and T.S.E.. Maibaum, editors, Proc. 16th Coll. on Trees in Algebra and Programming (CAAP'91), LNCS vol. 493, Springer-Verlag, 1991, 42-56.
-
(1991)
Proc. 16th Coll. on Trees in Algebra and Programming (CAAP'91), LNCS
, vol.493
, pp. 42-56
-
-
Kwiatkowska, M.1
-
20
-
-
0040397836
-
On topological characterization of behavioural properties
-
G. Reed, A. Roscoe, and R. Wachter, editors, Oxford University Press
-
M. Kwiatkowska. On topological characterization of behavioural properties. In G. Reed, A. Roscoe, and R. Wachter, editors, Topology and Category Theory in Computer Science, Oxford University Press, 1991, 153-177.
-
(1991)
Topology and Category Theory in Computer Science
, pp. 153-177
-
-
Kwiatkowska, M.1
-
21
-
-
0040397835
-
A hierarchy of partial order temporal properties
-
Springer-Verlag
-
M. Kwiatkowska, D. Peled, W. Penczek, A Hierarchy of Partial Order Temporal Properties. In Proc. Temporal Logic, LNCS vol. 827, Springer-Verlag, 1994, 398-414.
-
(1994)
Proc. Temporal Logic, LNCS
, vol.827
, pp. 398-414
-
-
Kwiatkowska, M.1
Peled, D.2
Penczek, W.3
-
22
-
-
0017472779
-
Proving the correctness of multiprocess programs
-
L. Lamport, Proving the Correctness of Multiprocess Programs, IEEE Trans. Software Engineering SE-3 2, (1977) 125-143.
-
(1977)
IEEE Trans. Software Engineering
, vol.SE-3
, Issue.2
, pp. 125-143
-
-
Lamport, L.1
-
26
-
-
0000390377
-
Basic notions of trace theory
-
Springer-Verlag
-
A. Mazurkiewicz, Basic notions of trace theory. In Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, LNCS vol. 354, Springer-Verlag, 1988, 25-34.
-
(1988)
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, LNCS
, vol.354
, pp. 25-34
-
-
Mazurkiewicz, A.1
-
29
-
-
85031896029
-
Proving partial order liveness properties
-
Springer-Verlag
-
D. Peled, A. Pnueli, Proving Partial Order Liveness Properties. In Proc. ICALP'90, Warwick, LNCS vol. 443, Springer-Verlag, 553-571.
-
Proc. ICALP'90, Warwick, LNCS
, vol.443
, pp. 553-571
-
-
Peled, D.1
Pnueli, A.2
-
31
-
-
0040397837
-
The pomset model of parallel processes: Unifying the temporal and the spatial
-
Springer-Verlag
-
V. Pratt, The Pomset Model of Parallel Processes: Unifying the Temporal and the Spatial. In Proc. Seminar on Concurrency, LNCS vol. 197, Springer-Verlag, 1984.
-
(1984)
Proc. Seminar on Concurrency, LNCS
, vol.197
-
-
Pratt, V.1
-
32
-
-
0003354698
-
Partial order semantics versus interleaving semantics for CSP-like languages and its impact on fairness
-
Springer-Verlag
-
W. Reisig, Partial Order Semantics versus Interleaving Semantics for CSP-like Languages and its Impact on Fairness. In Proc. ICALP'84, LNCS vol. 172, Springer-Verlag, 1984, 403-413.
-
(1984)
Proc. ICALP'84, LNCS
, vol.172
, pp. 403-413
-
-
Reisig, W.1
-
33
-
-
0002361833
-
Elements of a temporal logic coping with concurrency
-
Techn. Universität München
-
W. Reisig, Elements of a Temporal Logic Coping with Concurrency, SFB-Bericht 342/23, 92A Techn. Universität München, 1992.
-
(1992)
SFB-Bericht 342/23
, vol.92 A
-
-
Reisig, W.1
-
34
-
-
0001282303
-
Automata on infinite objects
-
J. van Leeuwen, editor, North-Holland
-
W. Thomas, Automata on Infinite Objects. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science vol. B, North-Holland, 1990, 135-191.
-
(1990)
Handbook of Theoretical Computer Science
, vol.B
, pp. 135-191
-
-
Thomas, W.1
-
35
-
-
85029715012
-
An introduction to event structures
-
Springer-Verlag
-
G. Winskel, An introduction to event structures. In Linear Time, Branching Time and Partial Order in Models and Logics for Concurrency, LNCS vol. 354, Springer-Verlag, 1988, 364-397.
-
(1988)
Linear Time, Branching Time and Partial Order in Models and Logics for Concurrency, LNCS
, vol.354
, pp. 364-397
-
-
Winskel, G.1
|