共 65 条
[1]
ABRAHAM U, 1990, SEMAENTICS CONCURREN
[2]
TOWARDS A GENERAL-THEORY OF ACTION AND TIME
[J].
ARTIFICIAL INTELLIGENCE,
1984, 23 (02)
:123-154
[5]
VERIFYING TEMPORAL PROPERTIES WITHOUT TEMPORAL LOGIC
[J].
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
1989, 11 (01)
:147-167
[6]
ANGER F, 1990, P INFORMATION PROCES, P74
[7]
ANGER F, 1991, LECTURE NOTES COMPUT
[8]
ANGER F, 1991, 4TH P IEA AIE INT C, P609
[9]
ANGER F, 1991, 9 APPL ART INT P SPI, P122
[10]
ON LAMPORT INTERPROCESSOR COMMUNICATION MODEL
[J].
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
1989, 11 (03)
:404-417