Author:
Bidoit Michel,Hennicker Rolf,Kurz Alexander
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. J. Adámek, H. Herrlich, and G. Strecker. Abstract and Concrete Categories. John Wiley & Sons, 1990.
2. M.A. Arbib and E.G. Manes. Adjoint machines, state-behaviour machines, and duality. Journ. of Pure and Applied Algebra, 6:313–344, 1975.
3. M. Bidoit and R. Hennicker. Observer complete definitions are behaviourally coherent. In OBJ/CafeOBJ/Maude at Formal Methods’ 99, pages 83–94. THETA, 1999.
4. M. Bidoit, R. Hennicker, and M. Wirsing. Behavioural and abstractor specifications. Science of Computer Programming, 25:149–186, 1995.
5. J. Goguen and R. Burstall. Institutions: abstract model theory for specification and programming. Journal of the Association for Computing Machinery, 39 (1):95–146, 1992.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Minimisation in Logical Form;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023
2. Brzozowski’s Algorithm (Co)Algebraically;Logic and Program Semantics;2012
3. Notions of Behaviour and Reachable-Part and Their Institutions;Recent Trends in Algebraic Development Techniques;2003
4. Towards Behavioral Maude;Electronic Notes in Theoretical Computer Science;2002-10
5. On the Integration of Observability and Reachability Concepts;Lecture Notes in Computer Science;2002