Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
26
views
0
references
Top references
cited by
21
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,212
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Formal Models and Semantics
Algebraic Specification
edited_book
Author(s):
Martin WIRSING
Publication date
(Print):
1990
Publisher:
Elsevier
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Numerical Algebra, Matrix Theory, Differential-Algebraic Equations, and Control Theory
Author and book information
Book Chapter
Publication date (Print):
1990
Pages
: 675-788
DOI:
10.1016/B978-0-444-88074-1.50018-4
SO-VID:
e9c21c53-b76f-4e33-adff-07d0abd3c4ab
License:
https://www.elsevier.com/tdm/userlicense/1.0/
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Finite Automata
pp. 133
Automata on Infinite Objects
pp. 193
Graph Rewriting: An Algebraic and Logic Approach
pp. 243
Rewrite Systems
pp. 493
Logic Programming
pp. 675
Algebraic Specification
pp. 789
Logics of Programs
pp. 995
Temporal and Modal Logic
pp. 1073
Elements of Relational Database Theory
pp. 1201
Operational and Algebraic Semantics of Concurrent Processes
Similar content
1,212
Electroacupuncture and Brain Protection against Cerebral Ischemia: Specific Effects of Acupoints
Authors:
Fei Zhou
,
Jingchun Guo
,
Jieshi Cheng
…
Comparison of the specificity of human and bovine tuberculin PPF for testing cattle. 3. National trial in Great Britain.
Authors:
I W Lesslie
,
C Herbert
The specific case of the Mid-Proterozoic rapakivi granites and associated suite within the context of the Columbia supercontinent
Authors:
J.L. Vigneresse
See all similar
Cited by
21
Scaling step-wise refinement
Authors:
A. Rauschmayer
,
J.N. Sarvela
,
D. Batory
Instruction sequence processing operators
Authors:
J. A. Bergstra
,
C. A. Middelburg
The Kiv-approach to software verification
Authors:
Wolfgang Reif
See all cited by