default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/dagstuhl/fss1994.bht:"
download as .bib file
@proceedings{DBLP:conf/dagstuhl/1994fss,
editor = {Manfred Broy and
Stephan Merz and
Katharina Spies},
title = {Formal Systems Specification, The RPC-Memory Specification Case Study
(the book grow out of a Dagstuhl Seminar, September 1994)},
series = {Lecture Notes in Computer Science},
volume = {1169},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0024423},
doi = {10.1007/BFB0024423},
isbn = {3-540-61984-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/1994fss.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AbadiLM94,
author = {Mart{\'{\i}}n Abadi and
Leslie Lamport and
Stephan Merz},
editor = {Manfred Broy and
Stephan Merz and
Katharina Spies},
title = {A {TLA} Solution to the RPC-Memory Specification Problem},
booktitle = {Formal Systems Specification, The RPC-Memory Specification Case Study
(the book grow out of a Dagstuhl Seminar, September 1994)},
series = {Lecture Notes in Computer Science},
volume = {1169},
pages = {21--66},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0024426},
doi = {10.1007/BFB0024426},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/AbadiLM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AstesianoR94,
author = {Egidio Astesiano and
Gianna Reggio},
editor = {Manfred Broy and
Stephan Merz and
Katharina Spies},
title = {A Dynamic Specification of the RPC-Memory Problem},
booktitle = {Formal Systems Specification, The RPC-Memory Specification Case Study
(the book grow out of a Dagstuhl Seminar, September 1994)},
series = {Lecture Notes in Computer Science},
volume = {1169},
pages = {67--108},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0024427},
doi = {10.1007/BFB0024427},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/AstesianoR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Best94,
author = {Eike Best},
editor = {Manfred Broy and
Stephan Merz and
Katharina Spies},
title = {A Memory Module Specification Using Composable High-Level Petri Nets},
booktitle = {Formal Systems Specification, The RPC-Memory Specification Case Study
(the book grow out of a Dagstuhl Seminar, September 1994)},
series = {Lecture Notes in Computer Science},
volume = {1169},
pages = {109--159},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0024428},
doi = {10.1007/BFB0024428},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Best94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BlomJ94,
author = {Johan Blom and
Bengt Jonsson},
editor = {Manfred Broy and
Stephan Merz and
Katharina Spies},
title = {Constraint Oriented Temporal Logic Specification},
booktitle = {Formal Systems Specification, The RPC-Memory Specification Case Study
(the book grow out of a Dagstuhl Seminar, September 1994)},
series = {Lecture Notes in Computer Science},
volume = {1169},
pages = {161--182},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0024429},
doi = {10.1007/BFB0024429},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BlomJ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Broy94,
author = {Manfred Broy},
editor = {Manfred Broy and
Stephan Merz and
Katharina Spies},
title = {A Functional Solution to the RPC-Memory Specification Problem},
booktitle = {Formal Systems Specification, The RPC-Memory Specification Case Study
(the book grow out of a Dagstuhl Seminar, September 1994)},
series = {Lecture Notes in Computer Science},
volume = {1169},
pages = {183--211},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0024430},
doi = {10.1007/BFB0024430},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Broy94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BroyL94,
author = {Manfred Broy and
Leslie Lamport},
editor = {Manfred Broy and
Stephan Merz and
Katharina Spies},
title = {The RPC-Memory Specification Problem - Problem Statement},
booktitle = {Formal Systems Specification, The RPC-Memory Specification Case Study
(the book grow out of a Dagstuhl Seminar, September 1994)},
series = {Lecture Notes in Computer Science},
volume = {1169},
pages = {1--4},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0024424},
doi = {10.1007/BFB0024424},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BroyL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BroyMS94,
author = {Manfred Broy and
Stephan Merz and
Katharina Spies},
editor = {Manfred Broy and
Stephan Merz and
Katharina Spies},
title = {The RPC-Memory Case Study: {A} Synopsis},
booktitle = {Formal Systems Specification, The RPC-Memory Specification Case Study
(the book grow out of a Dagstuhl Seminar, September 1994)},
series = {Lecture Notes in Computer Science},
volume = {1169},
pages = {5--20},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0024425},
doi = {10.1007/BFB0024425},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BroyMS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/CuellarBH94,
author = {Jorge Cu{\'{e}}llar and
Dieter Barnard and
Martin Huber},
editor = {Manfred Broy and
Stephan Merz and
Katharina Spies},
title = {A Solution Relying on the Model Checking of Boolean Transition Systems},
booktitle = {Formal Systems Specification, The RPC-Memory Specification Case Study
(the book grow out of a Dagstuhl Seminar, September 1994)},
series = {Lecture Notes in Computer Science},
volume = {1169},
pages = {213--251},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0024431},
doi = {10.1007/BFB0024431},
timestamp = {Mon, 11 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/CuellarBH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Gotzhein94,
author = {Reinhard Gotzhein},
editor = {Manfred Broy and
Stephan Merz and
Katharina Spies},
title = {Applying a Temporal Logic to the RPC-Memory Specification Problem},
booktitle = {Formal Systems Specification, The RPC-Memory Specification Case Study
(the book grow out of a Dagstuhl Seminar, September 1994)},
series = {Lecture Notes in Computer Science},
volume = {1169},
pages = {253--273},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0024432},
doi = {10.1007/BFB0024432},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Gotzhein94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Hooman94,
author = {Jozef Hooman},
editor = {Manfred Broy and
Stephan Merz and
Katharina Spies},
title = {Using {PVS} for an Assertional Verification of the RPC-Memory Specification
Problem},
booktitle = {Formal Systems Specification, The RPC-Memory Specification Case Study
(the book grow out of a Dagstuhl Seminar, September 1994)},
series = {Lecture Notes in Computer Science},
volume = {1169},
pages = {275--304},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0024433},
doi = {10.1007/BFB0024433},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Hooman94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Hungar94,
author = {Hardi Hungar},
editor = {Manfred Broy and
Stephan Merz and
Katharina Spies},
title = {Specification and Verification Using a Visual Formalism on Top of
Temporal Logic},
booktitle = {Formal Systems Specification, The RPC-Memory Specification Case Study
(the book grow out of a Dagstuhl Seminar, September 1994)},
series = {Lecture Notes in Computer Science},
volume = {1169},
pages = {305--339},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0024434},
doi = {10.1007/BFB0024434},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Hungar94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/KlarlundNS94,
author = {Nils Klarlund and
Mogens Nielsen and
Kim Sunesen},
editor = {Manfred Broy and
Stephan Merz and
Katharina Spies},
title = {A Case Study in Verification Based on Trace Abstractions},
booktitle = {Formal Systems Specification, The RPC-Memory Specification Case Study
(the book grow out of a Dagstuhl Seminar, September 1994)},
series = {Lecture Notes in Computer Science},
volume = {1169},
pages = {341--373},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0024435},
doi = {10.1007/BFB0024435},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/KlarlundNS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Kurki-Suonio94,
author = {Reino Kurki{-}Suonio},
editor = {Manfred Broy and
Stephan Merz and
Katharina Spies},
title = {Incremental Specification with Joint Actions: The RPC-Memory Specification
Problem},
booktitle = {Formal Systems Specification, The RPC-Memory Specification Case Study
(the book grow out of a Dagstuhl Seminar, September 1994)},
series = {Lecture Notes in Computer Science},
volume = {1169},
pages = {375--404},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0024436},
doi = {10.1007/BFB0024436},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Kurki-Suonio94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/LarsenSW94,
author = {Kim Guldstrand Larsen and
Bernhard Steffen and
Carsten Weise},
editor = {Manfred Broy and
Stephan Merz and
Katharina Spies},
title = {The Methodology of Modal Constraints},
booktitle = {Formal Systems Specification, The RPC-Memory Specification Case Study
(the book grow out of a Dagstuhl Seminar, September 1994)},
series = {Lecture Notes in Computer Science},
volume = {1169},
pages = {405--435},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0024437},
doi = {10.1007/BFB0024437},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/LarsenSW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Romijn94,
author = {Judi Romijn},
editor = {Manfred Broy and
Stephan Merz and
Katharina Spies},
title = {Tackling the RPC-Memory Specification Problem with {I/O} Automata},
booktitle = {Formal Systems Specification, The RPC-Memory Specification Case Study
(the book grow out of a Dagstuhl Seminar, September 1994)},
series = {Lecture Notes in Computer Science},
volume = {1169},
pages = {437--475},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0024438},
doi = {10.1007/BFB0024438},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Romijn94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Stolen94,
author = {Ketil St{\o}len},
editor = {Manfred Broy and
Stephan Merz and
Katharina Spies},
title = {Using Relations to Solve the RPC-Memory Specification Problem},
booktitle = {Formal Systems Specification, The RPC-Memory Specification Case Study
(the book grow out of a Dagstuhl Seminar, September 1994)},
series = {Lecture Notes in Computer Science},
volume = {1169},
pages = {477--520},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0024439},
doi = {10.1007/BFB0024439},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Stolen94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/UdinkK94,
author = {Rob T. Udink and
Joost N. Kok},
editor = {Manfred Broy and
Stephan Merz and
Katharina Spies},
title = {The RPC-Memory Specification Problem: UNITY+Refinement Calculus},
booktitle = {Formal Systems Specification, The RPC-Memory Specification Case Study
(the book grow out of a Dagstuhl Seminar, September 1994)},
series = {Lecture Notes in Computer Science},
volume = {1169},
pages = {521--540},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0024440},
doi = {10.1007/BFB0024440},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/UdinkK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-09-25 22:34 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
