67 lines
2.7 KiB
BibTeX
67 lines
2.7 KiB
BibTeX
@book{Knuth:1997:ACP:260999,
|
|
author = {Knuth, Donald E.},
|
|
title = {The art of computer programming, volume 1 (3rd ed.): fundamental algorithms},
|
|
year = {1997},
|
|
isbn = {0-201-89683-4},
|
|
publisher = {Addison Wesley Longman Publishing Co., Inc.},
|
|
address = {Redwood City, CA, USA},
|
|
}
|
|
|
|
@inproceedings{Savor:1997:HSA:851010.856089,
|
|
author = {Savor, T. and Seviora, R. E.},
|
|
title = {Hierarchical Supervisors For Automatic Detection Of Software Failures},
|
|
booktitle = {Proceedings of the Eighth International Symposium on Software Reliability Engineering},
|
|
series = {ISSRE '97},
|
|
year = {1997},
|
|
isbn = {0-8186-8120-9},
|
|
pages = {48--},
|
|
url = {http://portal.acm.org/citation.cfm?id=851010.856089},
|
|
acmid = {856089},
|
|
publisher = {IEEE Computer Society},
|
|
address = {Washington, DC, USA},
|
|
keywords = {automatic collection, automatic detection, base supervisor layer, call processing software, computational cost, correct behavior, detailed behavior checking, direct single layer supervisor, failure data, fault localization, hierarchical approach, hierarchical supervisors, online failure detection, path detection layer, random telephone traffic, real time reactive systems, requirement specification, seeded failures, small telephone exchange, software failure detection, software performance evaluation, software supervision, specification nondeterminism},
|
|
}
|
|
|
|
@article{Vinoski:2007:RE:1304062.1304553,
|
|
author = {Vinoski, Steve},
|
|
title = {Reliability with Erlang},
|
|
journal = {IEEE Internet Computing},
|
|
volume = {11},
|
|
issue = {6},
|
|
month = {November},
|
|
year = {2007},
|
|
issn = {1089-7801},
|
|
pages = {79--81},
|
|
numpages = {3},
|
|
url = {http://portal.acm.org/citation.cfm?id=1304062.1304553},
|
|
doi = {10.1109/MIC.2007.132},
|
|
acmid = {1304553},
|
|
publisher = {IEEE Educational Activities Department},
|
|
address = {Piscataway, NJ, USA},
|
|
keywords = {toward integration, Erlang, programming language, middleware, telecommunications, reliability, enterprise-integration},
|
|
}
|
|
|
|
@book{Cesarini:2009:EP:1717841,
|
|
author = {Cesarini, Francesco and Thompson, Simon},
|
|
title = {ERLANG Programming},
|
|
year = {2009},
|
|
isbn = {0596518188, 9780596518189},
|
|
edition = {1st},
|
|
publisher = {O'Reilly Media, Inc.},
|
|
}
|
|
|
|
@misc{armstrong2011,
|
|
author = {Joe Armstrong},
|
|
title = {If Erlang is the answer, then what is the question?},
|
|
year = {2011},
|
|
address = {IT University, Gothenburg},
|
|
}
|
|
|
|
@phdthesis{Agha:1985:AMC:912083,
|
|
author = {Agha, Gul Abdulnabi},
|
|
title = {Actors: a model of concurrent computation in distributed systems (parallel processing, semantics, open, programming languages, artificial intelligence)},
|
|
year = {1985},
|
|
note = {AAI8520855},
|
|
publisher = {University of Michigan},
|
|
address = {Ann Arbor, MI, USA},
|
|
}
|