메뉴 건너뛰기




Volumn 1639, Issue , 1999, Pages 284-303

Concurrent implementation of asynchronous transition systems

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

EID: 33645441856     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48745-X_18     Document Type: Conference Paper
Times cited : (6)

References (14)
  • 1
    • 84957675725 scopus 로고
    • Polynomial algorithms for the synthesis of bounded nets
    • P. Mosses et al., editors, Springer
    • E. Badouel, L. Bernardinello, and P. Darondeau. Polynomial algorithms for the synthesis of bounded nets. In P. Mosses et al., editors, TAPSOFT 95, Lect. Notes Comp. Sci. 915, 364-378. Springer, 1995.
    • (1995) TAPSOFT 95, Lect. Notes Comp. Sci , vol.915 , pp. 364-378
    • Badouel, E.1    Bernardinello, L.2    Darondeau, P.3
  • 4
    • 84945977925 scopus 로고    scopus 로고
    • Deriving unbounded Petri nets from formal languages
    • D. Sangiorgi and R. de Simone, editors, Springer
    • P. Darondeau. Deriving unbounded Petri nets from formal languages. In D. Sangiorgi and R. de Simone, editors, CONCUR 98, Lect. Notes Comp. Sci. 1466, 533-548. Springer, 1998.
    • (1998) CONCUR 98, Lect. Notes Comp. Sci , vol.1466 , pp. 533-548
    • Darondeau, P.1
  • 5
    • 0001905397 scopus 로고
    • Petri nets and automata with concurrency relations - An adjunction
    • M. Droste et al., editors, Gordon and Breach
    • M. Droste and R.M. Shortt. Petri nets and automata with concurrency relations - an adjunction. In M. Droste et al., editors, Semantics of Programming Languages and Model Theory. Gordon and Breach, 69-87. 1993.
    • (1993) Semantics of Programming Languages and Model Theory , pp. 69-87
    • Droste, M.1    Shortt, R.M.2
  • 6
    • 85031621453 scopus 로고
    • Petri net models for algebraic theories of concurrency
    • J.W. de Bakker et al., editors, Springer
    • R.J. V. Glabbeek and F. Vaandrager. Petri net models for algebraic theories of concurrency. In J.W. de Bakker et al., editors, PARLE Vol. II, Lect. Notes Comp. Sci. 259, 224-242. Springer, 1987.
    • (1987) PARLE Vol. II, Lect. Notes Comp. Sci , vol.259 , pp. 224-242
    • Glabbeek, R.J.V.1    Vaandrager, F.2
  • 9
    • 0002659052 scopus 로고
    • Models for concurrency
    • S. Abramsky, D. Gabbay, and T. Maibaum, editors, Oxford Univ. Press
    • M. Nielsen and G. Winskel. Models for concurrency. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science Vol. 4, pages 1-148. Oxford Univ. Press, 1995.
    • (1995) Handbook of Logic in Computer Science , vol.4 , pp. 1-148
    • Nielsen, M.1    Winskel, G.2
  • 12
    • 0003310162 scopus 로고
    • Modular Construction and Partial Order Semantics of Petri Nets
    • Springer
    • W. Vogler. Modular Construction and Partial Order Semantics of Petri Nets. Lect. Notes Comp. Sci. 625. Springer, 1992.
    • (1992) Lect. Notes Comp. Sci , vol.625
    • Vogler, W.1
  • 13
    • 0001681473 scopus 로고
    • Timed testing of concurrent systems
    • W. Vogler. Timed testing of concurrent systems. Information and Computation, 121:149-171, 1995.
    • (1995) Information and Computation , vol.121 , pp. 149-171
    • Vogler, W.1
  • 14
    • 0031679674 scopus 로고    scopus 로고
    • Designing control logic for counterflow pipeline processor using Petri nets
    • A. Yakovlev. Designing control logic for counterflow pipeline processor using Petri nets. Formal Methods in System Design, 12:39-71, 1998.
    • (1998) Formal Methods in System Design , vol.12 , pp. 39-71
    • Yakovlev, A.1


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