Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/concur/concur1984.bht:"
download as .bib file
@proceedings{DBLP:conf/concur/1984,
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15670-4},
doi = {10.1007/3-540-15670-4},
isbn = {3-540-15670-4},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/1984.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Agha84,
author = {Gul Agha},
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {Semantic Considerations in the Actor Paradigm of Concurrent Computation},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
pages = {151--179},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15670-4\_8},
doi = {10.1007/3-540-15670-4\_8},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/concur/Agha84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BarringerK84,
author = {Howard Barringer and
Ruurd Kuiper},
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {Hierarchical Development of Cncurrent Systems in a Temporal Logic
Framework},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
pages = {35--61},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15670-4\_2},
doi = {10.1007/3-540-15670-4\_2},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/BarringerK84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BergstraKT84,
author = {Jan A. Bergstra and
Jan Willem Klop and
John V. Tucker},
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {Process Algebra with Asynchronous Communication Mechanisms},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
pages = {76--95},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15670-4\_4},
doi = {10.1007/3-540-15670-4\_4},
timestamp = {Fri, 12 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BergstraKT84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BerryC84,
author = {G{\'{e}}rard Berry and
Laurent Cosserat},
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {The {ESTEREL} Synchronous Programming Language and its Mathematical
Semantics},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
pages = {389--448},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15670-4\_19},
doi = {10.1007/3-540-15670-4\_19},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BerryC84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Best84,
author = {Eike Best},
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {Concurrent Behaviour: Sequences, Processes and Axioms},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
pages = {221--245},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15670-4\_11},
doi = {10.1007/3-540-15670-4\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Best84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Brookes84,
author = {Stephen D. Brookes},
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {On the Axiomatic Treatment of Concurrency},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
pages = {1--34},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15670-4\_1},
doi = {10.1007/3-540-15670-4\_1},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Brookes84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BrookesR84,
author = {Stephen D. Brookes and
A. W. Roscoe},
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {An Improved Failures Model for Communicating Processes},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
pages = {281--305},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15670-4\_14},
doi = {10.1007/3-540-15670-4\_14},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BrookesR84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Cardelli84,
author = {Luca Cardelli},
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {An Implementation Model of Rendezvous Communication},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
pages = {449--457},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15670-4\_20},
doi = {10.1007/3-540-15670-4\_20},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/Cardelli84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/ClingerH84,
author = {William D. Clinger and
Charles Halpern},
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {Alternative Semantics for McCarthy's amb},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
pages = {467--478},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15670-4\_22},
doi = {10.1007/3-540-15670-4\_22},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/ClingerH84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Darondeau84,
author = {Philippe Darondeau},
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {A Fully Abstract Model of Fair Asynchrony},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
pages = {458--466},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15670-4\_21},
doi = {10.1007/3-540-15670-4\_21},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Darondeau84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Golson84,
author = {William G. Golson},
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {Denotational Models Based on Synchronously Communicating Processes:
Refusal, Acceptance, Safety},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
pages = {373--388},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15670-4\_18},
doi = {10.1007/3-540-15670-4\_18},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Golson84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HewittRAA84,
author = {Carl Hewitt and
Tom Reinhardt and
Gul Agha and
Giuseppe Attardi},
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {Linguistic Support of Receptionists for Shared Resources},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
pages = {330--359},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15670-4\_16},
doi = {10.1007/3-540-15670-4\_16},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/HewittRAA84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/JanickiLD84,
author = {Ryszard Janicki and
Peter E. Lauer and
Raymond R. Devillers},
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {Maximally Concurrent Evolution of Non-sequential Systems},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
pages = {268--280},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15670-4\_13},
doi = {10.1007/3-540-15670-4\_13},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/JanickiLD84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KellerP84,
author = {Robert M. Keller and
Prakash Panangaden},
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {Semantics of Networks Containing Indeterminate Operators},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
pages = {479--496},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15670-4\_23},
doi = {10.1007/3-540-15670-4\_23},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/KellerP84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/LengauerH84,
author = {Christian Lengauer and
Chua{-}Huang Huang},
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {The Static Derivation of Concurrency and its Mechanzed Certification},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
pages = {131--150},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15670-4\_7},
doi = {10.1007/3-540-15670-4\_7},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/LengauerH84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Milener84,
author = {Robin Milner},
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {Lectures on a Calculus for Communicating Systems},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
pages = {197--220},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15670-4\_10},
doi = {10.1007/3-540-15670-4\_10},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Milener84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Misra84,
author = {Jayadev Misra},
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {Axioms for Memory Access in Asynchronous Hardware Systems},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
pages = {96--110},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15670-4\_5},
doi = {10.1007/3-540-15670-4\_5},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Misra84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Moszkowski84,
author = {Ben C. Moszkowski},
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {Executing Temporal Logic Programs},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
pages = {111--130},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15670-4\_6},
doi = {10.1007/3-540-15670-4\_6},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Moszkowski84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Panangaden84,
author = {Prakash Panangaden},
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {Abstract Interpretation and Indeterminacy},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
pages = {497--511},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15670-4\_24},
doi = {10.1007/3-540-15670-4\_24},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Panangaden84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Pratt84,
author = {Vaughan R. Pratt},
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {The Pomset Model of Parallel Processes: Unifying the Temporal and
the Spatial},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
pages = {180--196},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15670-4\_9},
doi = {10.1007/3-540-15670-4\_9},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Pratt84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Roscoe84,
author = {A. W. Roscoe},
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {Denotational Semantics for occam},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
pages = {306--329},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15670-4\_15},
doi = {10.1007/3-540-15670-4\_15},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Roscoe84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Rounds84,
author = {William C. Rounds},
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {Applications of Topology to Semantics of Communicating Processes},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
pages = {360--372},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15670-4\_17},
doi = {10.1007/3-540-15670-4\_17},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Rounds84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/StromY84,
author = {Robert E. Strom and
Shaula Yemini},
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {The {NIL} Distributed Systems Programming Language: {A} Status Report},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
pages = {512--522},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15670-4\_25},
doi = {10.1007/3-540-15670-4\_25},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/StromY84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Winskel84,
author = {Glynn Winskel},
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {On the Composition and Decomposition of Assertions},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
pages = {62--75},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15670-4\_3},
doi = {10.1007/3-540-15670-4\_3},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Winskel84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Winskel84a,
author = {Glynn Winskel},
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {Categories of Models for Concurrency},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
pages = {246--267},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15670-4\_12},
doi = {10.1007/3-540-15670-4\_12},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Winskel84a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-05-28 01:52 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:
