Stepwise construction of non-sequential software systems using a net-based specification language-Reference-Cited by-同舟云学术

Stepwise construction of non-sequential software systems using a net-based specification language

Published:1985 Issue: Volume: Page:307-330
ISSN:0302-9743
Container-title:Advances in Petri Nets 1984
language:
Short-container-title:

Author:

Krämer Bernd

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-15204-0_18.pdf

Reference29 articles.

1. Bauer, F.L. and Wössner, H., “Algorithmic language and program development”, Springer-Verlag Berlin, Heidelberg, New York (1982)

2. Bayer, M., Böhringer, B., Dehottay, J.P., Feuerhahn, H., Jasper, J., Koster, C.H.A. and Schmiedecke, U., Software Development in the CDL2 Laboratory, in “Software Engineering Environments”, Hünke, H. (Ed.), North-Holland Publishing Company, ISBN 3-444-86133-5 (1981), 97–118

3. Lecture Notes in Computer Science;G. Bochmann v.,1979

4. Lecture Notes in Computer Science,1980

5. Lecture Notes in Computer Science;R. Burstall,1980

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. How to Bake Quantum into Your Pet Petri Nets and Have Your Net Theory Too;Service-Oriented Computing;2021

2. Protocol specification using P-graphs, a technique based on coloured Petri Nets;Lecture Notes in Computer Science;1998

3. Types and Modules for Net Specifications;High-level Petri Nets;1991

4. OBJSA Nets: a class of high-level nets having objects as domains;Lecture Notes in Computer Science;1988

5. Parallel systems specifications with coloured Petri nets and algebraic specifications;Lecture Notes in Computer Science;1987