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/acs/acs1983.bht:"
download as .bib file
@proceedings{DBLP:conf/acs/1983,
editor = {B. Tim Denvir and
W. T. Harwood and
M. I. Jackson and
M. J. Wray},
title = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16,
1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {207},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16047-7},
doi = {10.1007/3-540-16047-7},
isbn = {3-540-16047-7},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acs/1983.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acs/Abrial83,
author = {Jean{-}Raymond Abrial},
editor = {B. Tim Denvir and
W. T. Harwood and
M. I. Jackson and
M. J. Wray},
title = {A Practical Approach to the Analysis of Concurrent Systems},
booktitle = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16,
1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {207},
pages = {66--96},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-16047-7\_36},
doi = {10.1007/3-540-16047-7\_36},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/acs/Abrial83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acs/AstesianoR83,
author = {Egidio Astesiano and
Gianna Reggio},
editor = {B. Tim Denvir and
W. T. Harwood and
M. I. Jackson and
M. J. Wray},
title = {On the Specification of the Firing Squad Problem},
booktitle = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16,
1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {207},
pages = {137--156},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-16047-7\_44},
doi = {10.1007/3-540-16047-7\_44},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acs/AstesianoR83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acs/BarringerK83,
author = {Howard Barringer and
Ruurd Kuiper},
editor = {B. Tim Denvir and
W. T. Harwood and
M. I. Jackson and
M. J. Wray},
title = {Towards the Hierarchical, Temporal Logic, Specification},
booktitle = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16,
1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {207},
pages = {157--183},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-16047-7\_45},
doi = {10.1007/3-540-16047-7\_45},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acs/BarringerK83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acs/CotronisL83,
author = {John Yiannis Cotronis and
Peter E. Lauer},
editor = {B. Tim Denvir and
W. T. Harwood and
M. I. Jackson and
M. J. Wray},
title = {Two Way Channel with Disconnect},
booktitle = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16,
1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {207},
pages = {184--198},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-16047-7\_46},
doi = {10.1007/3-540-16047-7\_46},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acs/CotronisL83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acs/FernandezSS83,
author = {Jean{-}Claude Fernandez and
Jean{-}Philippe Schwartz and
Joseph Sifakis},
editor = {B. Tim Denvir and
W. T. Harwood and
M. I. Jackson and
M. J. Wray},
title = {An Example of Specification and Verification in Cesar},
booktitle = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16,
1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {207},
pages = {199--210},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-16047-7\_47},
doi = {10.1007/3-540-16047-7\_47},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acs/FernandezSS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acs/Hoare83,
author = {C. A. R. Hoare},
editor = {B. Tim Denvir and
W. T. Harwood and
M. I. Jackson and
M. J. Wray},
title = {Workshop on Analysis of Concurrent Systems Attempt at problem 3: The
Firing Squad},
booktitle = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16,
1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {207},
pages = {115--116},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-16047-7\_40},
doi = {10.1007/3-540-16047-7\_40},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acs/Hoare83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acs/Hoare83a,
author = {C. A. R. Hoare},
editor = {B. Tim Denvir and
W. T. Harwood and
M. I. Jackson and
M. J. Wray},
title = {Workshop on Analysis of Concurrent Systems Attempt at Problem 10:
The Matrix Switch},
booktitle = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16,
1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {207},
pages = {132--133},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-16047-7\_43},
doi = {10.1007/3-540-16047-7\_43},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acs/Hoare83a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acs/Kaldewaij83,
author = {Anne Kaldewaij},
editor = {B. Tim Denvir and
W. T. Harwood and
M. I. Jackson and
M. J. Wray},
title = {Trace Theory and the Specification of Concurrent Systems},
booktitle = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16,
1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {207},
pages = {211--221},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-16047-7\_48},
doi = {10.1007/3-540-16047-7\_48},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acs/Kaldewaij83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acs/KennawayS83,
author = {Richard Kennaway and
M. Ronan Sleep},
editor = {B. Tim Denvir and
W. T. Harwood and
M. I. Jackson and
M. J. Wray},
title = {Syntax and informal semantics of DyNe, a parallel language},
booktitle = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16,
1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {207},
pages = {222--230},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-16047-7\_49},
doi = {10.1007/3-540-16047-7\_49},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acs/KennawayS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acs/KoymansR83,
author = {Ron Koymans and
Willem P. de Roever},
editor = {B. Tim Denvir and
W. T. Harwood and
M. I. Jackson and
M. J. Wray},
title = {Examples of a Real-Time Temporal Logic Specification},
booktitle = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16,
1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {207},
pages = {231--251},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-16047-7\_50},
doi = {10.1007/3-540-16047-7\_50},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acs/KoymansR83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acs/Lamport83,
author = {Leslie Lamport},
editor = {B. Tim Denvir and
W. T. Harwood and
M. I. Jackson and
M. J. Wray},
title = {Problems from the Workshop on the Analysis of Concurrent Systems},
booktitle = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16,
1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {207},
pages = {252--270},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-16047-7\_51},
doi = {10.1007/3-540-16047-7\_51},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acs/Lamport83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acs/Lauer83,
author = {Peter E. Lauer},
editor = {B. Tim Denvir and
W. T. Harwood and
M. I. Jackson and
M. J. Wray},
title = {A Simple Railway System},
booktitle = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16,
1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {207},
pages = {271--292},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-16047-7\_52},
doi = {10.1007/3-540-16047-7\_52},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acs/Lauer83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acs/Milne83,
author = {George J. Milne},
editor = {B. Tim Denvir and
W. T. Harwood and
M. I. Jackson and
M. J. Wray},
title = {Description and Analysis Using Circal},
booktitle = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16,
1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {207},
pages = {293--313},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-16047-7\_53},
doi = {10.1007/3-540-16047-7\_53},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acs/Milne83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acs/Milner83,
author = {Robin Milner},
editor = {B. Tim Denvir and
W. T. Harwood and
M. I. Jackson and
M. J. Wray},
title = {Using Algebra for Concurrency: Some Approaches},
booktitle = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16,
1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {207},
pages = {7--25},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-16047-7\_33},
doi = {10.1007/3-540-16047-7\_33},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acs/Milner83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acs/Milner83a,
author = {Robin Milner},
editor = {B. Tim Denvir and
W. T. Harwood and
M. I. Jackson and
M. J. Wray},
title = {Parallel Combinator Reduction Machine},
booktitle = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16,
1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {207},
pages = {121--126},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-16047-7\_41},
doi = {10.1007/3-540-16047-7\_41},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acs/Milner83a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acs/Milner83b,
author = {Robin Milner},
editor = {B. Tim Denvir and
W. T. Harwood and
M. I. Jackson and
M. J. Wray},
title = {Firing Squad},
booktitle = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16,
1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {207},
pages = {314--317},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-16047-7\_54},
doi = {10.1007/3-540-16047-7\_54},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acs/Milner83b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acs/Morgan83,
author = {Carroll Morgan},
editor = {B. Tim Denvir and
W. T. Harwood and
M. I. Jackson and
M. J. Wray},
title = {Specification of a simplified Network Service in {Z}},
booktitle = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16,
1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {207},
pages = {318--344},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-16047-7\_55},
doi = {10.1007/3-540-16047-7\_55},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acs/Morgan83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acs/MorganH83,
author = {Carroll Morgan and
C. A. R. Hoare},
editor = {B. Tim Denvir and
W. T. Harwood and
M. I. Jackson and
M. J. Wray},
title = {Specification of a simplified Network Service in {CSP}},
booktitle = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16,
1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {207},
pages = {345--353},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-16047-7\_56},
doi = {10.1007/3-540-16047-7\_56},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acs/MorganH83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acs/Mosses83,
author = {Peter D. Mosses},
editor = {B. Tim Denvir and
W. T. Harwood and
M. I. Jackson and
M. J. Wray},
title = {A Solution to Problem 7 - Parallel Combinator Reduction Machine -},
booktitle = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16,
1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {207},
pages = {354--358},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-16047-7\_57},
doi = {10.1007/3-540-16047-7\_57},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acs/Mosses83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acs/Moszkowski83,
author = {Ben C. Moszkowski},
editor = {B. Tim Denvir and
W. T. Harwood and
M. I. Jackson and
M. J. Wray},
title = {A Temporal Analysis of Some Concurrent Systems},
booktitle = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16,
1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {207},
pages = {359--364},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-16047-7\_58},
doi = {10.1007/3-540-16047-7\_58},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acs/Moszkowski83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acs/Pnueli83,
author = {Amir Pnueli},
editor = {B. Tim Denvir and
W. T. Harwood and
M. I. Jackson and
M. J. Wray},
title = {Solutions to Problem No.2},
booktitle = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16,
1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {207},
pages = {365--383},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-16047-7\_59},
doi = {10.1007/3-540-16047-7\_59},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acs/Pnueli83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acs/Pratt83,
author = {Vaughan R. Pratt},
editor = {B. Tim Denvir and
W. T. Harwood and
M. I. Jackson and
M. J. Wray},
title = {Two-way Channel with Disconnect},
booktitle = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16,
1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {207},
pages = {110--111},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-16047-7\_39},
doi = {10.1007/3-540-16047-7\_39},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acs/Pratt83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acs/Roscoe83,
author = {A. W. Roscoe},
editor = {B. Tim Denvir and
W. T. Harwood and
M. I. Jackson and
M. J. Wray},
title = {Specifying problem one using the failure sets model for {CSP} and
deriving {CSP} processes which meett this specification},
booktitle = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16,
1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {207},
pages = {103--109},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-16047-7\_38},
doi = {10.1007/3-540-16047-7\_38},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acs/Roscoe83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acs/Roscoe83a,
author = {A. W. Roscoe},
editor = {B. Tim Denvir and
W. T. Harwood and
M. I. Jackson and
M. J. Wray},
title = {A {CSP} solution to the "trains" problem},
booktitle = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16,
1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {207},
pages = {384--388},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-16047-7\_60},
doi = {10.1007/3-540-16047-7\_60},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acs/Roscoe83a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acs/SchwartzM83,
author = {Richard L. Schwartz and
P. M. Melliar{-}Smith},
editor = {B. Tim Denvir and
W. T. Harwood and
M. I. Jackson and
M. J. Wray},
title = {From State Machines to Temporal Logic: Specification Methods for Protocol
Standards},
booktitle = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16,
1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {207},
pages = {55--65},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-16047-7\_35},
doi = {10.1007/3-540-16047-7\_35},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acs/SchwartzM83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acs/Shields83,
author = {M. W. Shields},
editor = {B. Tim Denvir and
W. T. Harwood and
M. I. Jackson and
M. J. Wray},
title = {The Train Set Problem},
booktitle = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16,
1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {207},
pages = {389--396},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-16047-7\_61},
doi = {10.1007/3-540-16047-7\_61},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acs/Shields83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acs/Thiagarajan83,
author = {P. S. Thiagarajan},
editor = {B. Tim Denvir and
W. T. Harwood and
M. I. Jackson and
M. J. Wray},
title = {Some Aspects of Net Theory},
booktitle = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16,
1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {207},
pages = {26--54},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-16047-7\_34},
doi = {10.1007/3-540-16047-7\_34},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acs/Thiagarajan83.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-01 17:06 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:
