Author:
Costa Gerardo,Reggio Gianna
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Astesiano E.-Cerioli M. “On the existence of initial models for partial (higher order) conditional specifications”, TAPSOFT'89, LNCS stands for Lectures Notes in Computer Science vol 351, 1989.
2. Astesiano E.-Bendix Nielsen C.-Botta N.-Fantechi A.-Giovini A.-Inverardi P.-Karlsen E.-Mazzanti F.-Storbank Pedersen J.-Zucca E. “The Draft Formal Definition of Ada” Deliverable of the CEC MAP project: The Draft Formal Definition of ANSI/STD 1815A Ada, 1987.
3. Astesiano E.-Reggio G. “On the Specification of the Firing Squad Problem” Workshop on The Analysis of Concurrent Systems, Cambridge, 1983, LNCS stands for Lectures Notes in Computer Science vol 207, 1985.
4. Astesiano E.-Reggio G. “An outline of the SMoLCS methodology” Advanced School on Mathematical Models of Parallelism 1987, LNCS stands for Lectures Notes in Computer Science vol 280, 1987.
5. Broy M.-Wirsing M. “Partial abstract data types” Acta Informatica 18 (1982).
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献