메뉴 건너뛰기
Theoretical Computer Science
Volumn 278, Issue 1-2, 2002, Pages 195-221
Resource traces: A domain for processes sharing exclusive resources
Author keywords

Concurrency; Mazurkiewicz traces; Scott domains; Semantics
Indexed keywords

ALGEBRA; APPROXIMATION THEORY; ENCODING (SYMBOLS); RESOURCE ALLOCATION; SEMANTICS; TOPOLOGY;
EID: 0037029911     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(00)00336-4     Document Type: Conference Paper
Times cited : (5)
References (21)
  • 3
    • 0008882168 scopus 로고    scopus 로고
    • Complex and complex-like traces
    • A. Borzyszkowski et al. (Eds.), Proc. 18th Math. Foundations of Computer Science (MFCS' 93), Gdansk (Poland), Springer, Berlin, invited lecture
    • Lecture Notes in Computer Science , vol.711 , pp. 68-82
    • Diekert, V.1
  • 5
    • 84958047485 scopus 로고
    • A domain for concurrent termination: A generalization of Mazurkiewicz traces
    • Fulop et al. (Eds.) (Ed.), Proc. 22nd Internat. Colloq. on Automata, Languages and Programming (ICALP 95), Szeged (Hungary), Springer, Berlin
    • (1995) Lecture Notes in Computer Science , vol.944 , pp. 15-26
    • Diekert, V.1    Gastin, P.2
  • 7
    • 85027600361 scopus 로고
    • Infinite traces
    • I. Guessarian (Ed.), Proceedings of the Spring School of Theoretical Computer Science on Semantics of Systems of Concurrent Processes, Springer, Berlin
    • (1990) Lecture Notes in Computer Science , vol.469 , pp. 277-308
    • Gastin, P.1
  • 8
    • 0009751824 scopus 로고    scopus 로고
    • A truly concurrent semantics for a simple parallel programming language
    • Proc. Annu. Conf. of the European Association for Computer Science Logic (CSL '99), Madrid (Spain), Springer, Berlin
    • (1999) Lecture Notes in Computer Science , vol.1683 , pp. 515-529
    • Gastin, M.1    Mislove, P.2
  • 9
    • 0008915957 scopus 로고
    • Poset properties of complex traces
    • I.M. Havel, V. Koubek (Eds.), Proc. 17th Symp. on Mathematical Foundations of Computer Science (MFCS '92), Prague, (Czechoslovakia), Springer, Berlin
    • (1992) Lecture Notes in Computer Science , vol.629 , pp. 255-263
    • Gastin, A.1    Petit, P.2
  • 15
    • 85023014054 scopus 로고
    • The versatile continuous order
    • M. Main, A. Melton, M. Mislove, D. Schmidt (Eds.), Proceedings of the Workshop on Mathematical Foundations of Programming Language Semantics, Springer, Berlin
    • (1988) Lecture Notes in Computer Science , vol.298 , pp. 134-160
    • Lawson, J.D.1
  • 18
    • 85034246342 scopus 로고
    • Partial commutations
    • Proc. 16th International Colloquium on Automata, Languages and Programming (ICALP '89), Stresa (Italy), Springer, Berlin
    • (1989) Lecture Notes in Computer Science , vol.372 , pp. 637-651
    • Perrin, D.1

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