ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Algebraic Specification and Coalgebraic Synthesis of Mealy Automata
Electronic Notes in Theoretical Computer Science
◽
10.1016/j.entcs.2006.05.030
◽
2006
◽
Vol 160
◽
pp. 305-319
◽
Cited By ~ 11
Author(s):
J.J.M.M. Rutten
Keyword(s):
Algebraic Specification
◽
Mealy Automata
Download Full-text
Related Documents
Cited By
References
A note on algebraic specification of binary trees
ACM SIGPLAN Notices
◽
10.1145/947658.947666
◽
1980
◽
Vol 15
(6)
◽
pp. 64-67
◽
Cited By ~ 3
Author(s):
Abha Moitra
Keyword(s):
Binary Trees
◽
Algebraic Specification
Download Full-text
The algebraic specification of abstract data types
Acta Informatica
◽
10.1007/bf00260922
◽
1978
◽
Vol 10
(1)
◽
Cited By ~ 313
Author(s):
J.V. Guttag
◽
J.J. Horning
Keyword(s):
Algebraic Specification
◽
Abstract Data Types
◽
Data Types
◽
Abstract Data
Download Full-text
Modular algebraic specification of some basic geometrical constructions
Artificial Intelligence
◽
10.1016/0004-3702(88)90052-5
◽
1988
◽
Vol 37
(1-3)
◽
pp. 123-153
◽
Cited By ~ 9
Author(s):
Joseph A. Goguen
Keyword(s):
Algebraic Specification
Download Full-text
Proof method for correctness of refinements of algebraic specification in abstract sequential machine style
Systems and Computers in Japan
◽
10.1002/scj.4690270503
◽
1996
◽
Vol 27
(5)
◽
pp. 25-38
Author(s):
Kozo Okano
◽
Teruo Higashino
◽
Kenichi Taniguchi
Keyword(s):
Sequential Machine
◽
Algebraic Specification
Download Full-text
Algebraic Specification
Specification of Software Systems
◽
10.1007/978-1-4757-2920-7_8
◽
1998
◽
pp. 171-217
Author(s):
V. S. Alagar
◽
K. Periyasamy
Keyword(s):
Algebraic Specification
Download Full-text
Algebraic Specification of Databases — A Survey from a Database Perspective
Workshops in Computing - Specifications of Database Systems
◽
10.1007/978-1-4471-3864-8_13
◽
1992
◽
pp. 246-254
Author(s):
W. B. Samson
◽
A. W. Wakelin
Keyword(s):
Algebraic Specification
Download Full-text
The Algebraic Specification of Abstract Data Types
Programming Methodology
◽
10.1007/978-1-4612-6315-9_21
◽
1978
◽
pp. 282-308
◽
Cited By ~ 4
Author(s):
J. V. Guttag
◽
J. J. Horning
Keyword(s):
Algebraic Specification
◽
Abstract Data Types
◽
Data Types
◽
Abstract Data
Download Full-text
Algebraic Specification of Dynamic Leader Election Protocols in Broadcast Networks
Workshops in Computing - Algebra of Communicating Processes
◽
10.1007/978-1-4471-2120-6_15
◽
1995
◽
pp. 338-357
Author(s):
Jacob Brunekreef
◽
Joost-Pieter Katoen
◽
Ron Koymans
◽
Sjouke Mauw
Keyword(s):
Leader Election
◽
Algebraic Specification
◽
Broadcast Networks
Download Full-text
On recent trends in algebraic specification
Automata, Languages and Programming - Lecture Notes in Computer Science
◽
10.1007/bfb0035766
◽
1989
◽
pp. 263-288
◽
Cited By ~ 11
Author(s):
H. Ehrig
◽
P. Pepper
◽
F. Orejas
Keyword(s):
Algebraic Specification
◽
Recent Trends
Download Full-text
Algebraic Specification through Expression Transformation
Formal Description Techniques and Protocol Specification, Testing and Verification
◽
10.1007/978-0-387-35271-8_22
◽
1997
◽
pp. 355-366
◽
Cited By ~ 2
Author(s):
M. J. Fernández Iglesias
◽
M. Llamas Nistal
Keyword(s):
Algebraic Specification
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close