메뉴 건너뛰기
International Journal of Parallel Programming
Volumn 15, Issue 1, 1986, Pages 33-71
Modeling concurrency with partial orders
Author keywords

computation model; Concurrency; partial order; pomset; temporal logic
Indexed keywords

EID: 34250124963     PISSN: 08857458     EISSN: 15737640     Source Type: Journal    
DOI: 10.1007/BF01379149     Document Type: Article
Times cited : (499)
References (25)
  • 1
    • 84934656616 scopus 로고    scopus 로고
    • V. R. Pratt, Some Constructions for Order-Theoretic Models of Concurrency, Proc. Conf. on Logics of Programs, Springer-Verlag LNCS 193, Brooklyn (1985).
  • 2
    • 84934656618 scopus 로고    scopus 로고
    • T. Denvir, W. Harwood, M. Jackson, and M. Ray, The Analysis of Concurrent Systems, Proc. of a Tutorial and Workshop, September 1983, Cambridge University, LNCS 207, Springer-Verlag (1985).
  • 4
    • 84934656610 scopus 로고    scopus 로고
    • J. Gischer, Partial Orders and the Axiomatic Theory of Shuffle, Ph.D. Thesis, Computer Science Dept., Stanford University (December 1984).
  • 5
    • 84934656614 scopus 로고    scopus 로고
    • I. Greif, Semantics of Communicating Parallel Processes, Ph.D. Thesis, Project MAC Report TR-154, MIT (September 1975).
  • 6
    • 84934656621 scopus 로고    scopus 로고
    • E. Best, C. Fernandez, and H. Plünnecke, Concurrent Systems and Processes, Final Report on the Foundational Part of the Project BEGRUND, FMD-Studien Nr. 104, GMD, Sankt Augustin, FDR (March 1985).
  • 7
    • 84934656625 scopus 로고    scopus 로고
    • W. Reisig, Petri Nets: An Introduction Springer-Verlag (1985).
  • 8
    • 84934656584 scopus 로고    scopus 로고
    • G. Winskel, Events in Computation, Ph.D. Thesis, CST-10-80, Dept. of Computer Science, University of Edinburgh (1980).
  • 9
    • 84934656586 scopus 로고    scopus 로고
    • G. Winskel, A New Definition of Morphisms on Petri Nets, Proc. CMU/SERC Workshop on Analysis of Concurrency, Springer-Verlag LNCS 196, Pittsburgh (1984).
  • 11
    • 84934656587 scopus 로고    scopus 로고
    • S. S. Pinter and P. Wolper, A Temporal Logic to Reason about Partially Ordered Computations, Proc. 3rd ACM Symp. on Principles of Distributed Computing, pp. 28–37, Vancouver (August 1984).
  • 12
    • 84934656589 scopus 로고    scopus 로고
    • L. Lamport, On Interprocess Communication, DEC Systems Research Center, Report No. 8 (1985).
  • 13
    • 84934656590 scopus 로고    scopus 로고
    • J. F. A. K. Van Benthem, The Logic of Time, D. Reidel (1983).
  • 14
    • 84934656591 scopus 로고    scopus 로고
    • G. J. Whitrow, The Natural Philosophy of Time, 2nd ed., Oxford University Press (1980).
  • 15
    • 84934656592 scopus 로고    scopus 로고
    • Mazurkiewicz, Traces, Histories, Graphs: Instances of a Process Monoid, Proc. Conf. on Mathematical Foundations of Comput. Sci., Springer-Verlag LNCS 176 (1984).
  • 16
    • 84934656594 scopus 로고    scopus 로고
    • V. R. Pratt, On the Composition of Processes, Proc. of the Ninth Annual ACM Symp. on Principles of Programming Languages (January 1982).
  • 17
    • 84934656595 scopus 로고    scopus 로고
    • J. D. Brock and W. B. Ackerman, Scenarios: A Model of Non-Determinate Computation. In: Formalization of Programming Concepts, J. Diaz and I. Ramos, Eds., Springer-Verlag LNCS 107, New York, pp. 252–259 (1981).
  • 20
    • 84934656596 scopus 로고    scopus 로고
    • V. R. Pratt, The Pomset Model of Parallel Processes: Unifying the Temporal and the Spatial, Proc. CMU/SERC Workshop on Analysis of Concurrency, Springer-Verlag LNCS 197, Pittsburgh (1984).
  • 22
    • 84934655653 scopus 로고    scopus 로고
    • A. Pnueli, The Temporal Logic of Programs, 18th IEEE Symp. on Foundations of Comput. Sci., pp. 46–57 (October 1977).
  • 23
    • 84934655652 scopus 로고    scopus 로고
    • D. Gabbay, A. Pnueli, S. Shelah, and J. Stavi, On the Temporal Analysis of Fairness, Proc. of the 7th Annual ACM Symp. on Principles of Programming Languages, pp. 163–173 (January 1980).
  • 25
    • 84934655657 scopus 로고    scopus 로고
    • L. F. Monteiro and F. C. N. Pereira, Outline of a Sheaf-theoretic Approach to Concurrency, Proc. IEEE Symp. on Logic in Comput. Sci., Boston (July 1986).

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.