Preview
Unable to display preview. Download preview PDF.
Reference
E. AUDUREAU, L. FARINAS, J. HENRY "Logique multidimensionnable structurée" in "Logique Temporelle pour les réseaux de processus communiquant". Contrat ADI no 82/682. Final Report.
A. ARNOLD, M. NIVAT "Comportement de processus" — Rapport LITP, University of Paris VII (1982).
F. BOUSSINOT et al "A language for formal description of real time systems". Safety of Computer Control System 1983, p. 119–126.
P. ENJALBERT, L. FARINAS, M. MICHEL "Logique Temporelle pour les Réseaux de Processus communiquant par file". T-R no 2878 — LCR — Thomson-CSF, (1983).
P. ENJALBERT "Un théorème de complétude pour une logique multitemporelle typée". T-R no 2917 — LCR — Thomson-CSF, (1983).
D. GABBAY et al "On the temporal analysis of fairness". 7th ACM Symposium on Principles of Programming Languages, 1980, p. 163–173.
C.A.R. HOARE "Communicating sequential processes". C.A.C.M. Vol. 21 no 8, p. 666–677, (1978).
G. KAHN, P.B. MAC QUEEN "Coroutines and networks of parallel processes". Proc. IFIP 77.
D. KOZEN, R. PARIKH "An elementary proof of the completeness of P D L" TCS 14 (1981), p. 113–118.
M. MICHEL "Algèbre de Machines et Logique Temporelle". STACS 1984, LNCS no 166.
A. SALWICKI "Semantics of parallel programs" ICS-PAS Report — Polish Academy of Science.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Enjalbert, P., Michel, M. (1984). Many-sorted temporal logic for multi-processes systems. In: Chytil, M.P., Koubek, V. (eds) Mathematical Foundations of Computer Science 1984. MFCS 1984. Lecture Notes in Computer Science, vol 176. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0030308
Download citation
DOI: https://doi.org/10.1007/BFb0030308
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13372-8
Online ISBN: 978-3-540-38929-3
eBook Packages: Springer Book Archive