Bart Jacobs, Hendrik Tews  Home/Search
Context Related
| wwwtcs.inf.tudresden.de/~te...a4.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: wwwtcs.inf.tudresden.d...science (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Refinements between specifications in a coalgebraic setting have been introduced in [13,14]. This paper presents a renewed, extended study of refinements, based on more practical experience. It distinguishes assertional refinement (assertions should be valid, after translation) and behavioural refinement (appropriate behaviour must be simulated, after translation). Behavioural refinement is the more general notion, it offers greater flexibility, especially in the presence of non-public methods. ... (Update)
Context of citations to this paper: More
...new system state from scratch by coalgebraic operations. Initial states are occasionally used to describe such basic constructors [Jac96a, Jac96b, JT01]. An alternative approach to overcome the lack of constructors is the integration of the complementary algebraic techniques...
Cited by: More
Towards a Coalgebraic Semantics of UML: Class Diagrams and Use .. - Meng, Aichernig (2003) (Correct)
Coalg_{KPF}: Towards a Coalgebraic Calculus for.. - Meng, Aichernig (Correct)
Component-Based Coalgebraic Specification and Verification in.. - Meng, Aichernig (2002) (Correct)
Active bibliography (related documents): More All
1.1: The Coalgebraic Class Specification Language CCSL - Rothe, Tews, Jacobs (2000) (Correct)
0.8: Exercises in Coalgebraic Specification - Jacobs (1999) (Correct)
0.5: Towards a Duality Result in the Modal Logic of Coalgebras - Jacobs (2000) (Correct)
Similar documents based on text: More All
0.7: Invariants, Bisimulations and the Correctness of Coalgebraic.. - Jacobs (1997) (Correct)
0.7: Expressive Logics for Coalgebras via Terminal Sequence Induction - Pattinson (2002) (Correct)
0.5: A Coalgebraic Semantics of Subtyping - Poll (2000) (Correct)
Related documents from co-citation: More All
3: The coalgebraic class specification language CCSL - Rothe, Tews et al. - 2001
3: Category Theory for Computing Science (context) - Barr, Wells - 1990
3: Coalgebraic Reasoning about Classes in Object-Oriented Languages - Jacobs - 1998
BibTeX entry: (Update)
Bart Jacobs and Hendrik Tews. Assertional and Behavioural Refinement in Coalgebraic Specification. In Electronic Notes in Theoretical Computer Science, volume 47. Elsevier Science Publishers, 2001. http://citeseer.ist.psu.edu/jacobs01assertional.html More
@misc{ jacobs01assertional,
author = "B. Jacobs and H. Tews",
title = "Assertional and Behavioural Refinement in Coalgebraic Specification",
text = "Bart Jacobs and Hendrik Tews. Assertional and Behavioural Refinement in
Coalgebraic Specification. In Electronic Notes in Theoretical Computer Science,
volume 47. Elsevier Science Publishers, 2001.",
year = "2001",
url = "citeseer.ist.psu.edu/jacobs01assertional.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
294 Isabelle: A Generic Theorem Prover (context) - Paulson - 1994
265 Proof of correctness of data representations (context) - Hoare - 1972
186 Universal coalgebra: A theory of systems - Rutten - 2000
99 volume 5 of Graduate Texts in Mathematics (context) - Lane, the et al.
54 Handbook of Process Algebra (context) - Bergstra, Ponse et al. - 2001
52 Reasoning about classes in object{oriented languages: Logica.. - Hensel, Huisman et al. - 1998
51 PVS: Combining specication (context) - Owre, Rajan et al. - 1996
31 Java Card Technology for Smart Cards (context) - Chen - 2000
24 Renement Calculus: A Systematic Introduction (context) - Back, von Wright - 1998
22 Algebraic specication (context) - Wirsing - 1990
20 A nal coalgebra theorem (context) - Aczel, Mendler - 1989
18 a specication language (context) - Goguen, Burstall et al. - 1980
17 Structural induction and coinduction in a brational setting (context) - Hermida, Jacobs - 1998
16 Algebraic Foundations of Systems Specication (context) - Astesiano, Kreowski et al. - 1999
13 The coalgebraic class specication language CCSL (context) - Rothe, Tews et al. - 2001
12 Forward and backward simulations (context) - Lynch, Vaandrager - 1995
12 bisimulations and the correctness of coalgebraic renements (context) - Jacobs - 1997
12 Coalgebraic theories of sequences in PVS - Hensel, Jacobs - 1999
7 Specifying concurrent systems with TLA - Lamport - 1999
5 Denition and Proof Principles for Data and Processes (context) - Hensel - 1999
4 Coalgebras for binary methods: Properties of bisimulations a.. - Tews - 2001
4 Behaviour-renement of coalgebraic specications with coinduct.. (context) - Jacobs - 1997
4 Transactions in Java Card (context) - Oestreicher - 1999
3 Action renement (context) - Gorrieri, Rensink
3 Re ections on an operating system design (context) - Lampson, Sturgis - 1976
2 The YAPI protocol for bu ered data transfer (context) - Lambooij - 2000
2 A case study in object oriented specication and verication: .. (context) - Meyer - 1999
2 To appear in the proceedings of the Mathematics for Informat.. (context) - Jacobs, coalgebraic - 2000
Documents on the same site (http://wwwtcs.inf.tu-dresden.de/~tews/science.html): More
VFiasco - Towards a Provably Correct µ-Kernel - Tews, Härtig, Hohmuth (2001) (Correct)
Coalgebras For Binary Methods: Properties Of Bisimulations And.. - Tews (2001) (Correct)
Reasoning about Java Classes - Jacobs, van den Berg, Huisman, van.. (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC