Επικοινωνούσες Ακολουθιακές Διεργασίες (Greek Wikipedia)
Analysis of information sources in references of the Wikipedia article "Επικοινωνούσες Ακολουθιακές Διεργασίες" in Greek language version.
refsWebsite
Global rank
Greek rank
1st place
1st place
2,776th place
5,060th place
6th place
5th place
8,118th place
low place
274th place
297th place
low place
low place
5,334th place
low place
anthonyhall.org
- Hall, A; R. Chapman (2002). «Correctness by construction: Developing a commercial secure system» (PDF). IEEE Software 19 (1): 18–25. doi:. http://www.anthonyhall.org/c_by_c_secure_system.pdf.
archive.org
- Roscoe, A. W.· Bill Roscoe (1997). The Theory and Practice of Concurrency
. Prentice Hall. ISBN 0-13-674409-5.
doi.org
dx.doi.org
- Hoare, C. A. R. (1978). «Communicating sequential processes». Communications of the ACM 21 (8): 666–677. doi:.
- Barrett, G. (1995). «Model checking in practice: The T9000 Virtual Channel Processor». IEEE Transactions on Software Engineering 21 (2): 69–78. doi:.
- Hall, A; R. Chapman (2002). «Correctness by construction: Developing a commercial secure system» (PDF). IEEE Software 19 (1): 18–25. doi:. http://www.anthonyhall.org/c_by_c_secure_system.pdf.
- Brookes, Stephen; C. A. R. Hoare and A. W. Roscoe (1984). «A Theory of Communicating Sequential Processes». Journal of the ACM 31 (3): 560–599. doi:.
mit.edu
dspace.mit.edu
- William Clinger (June 1981). "Foundations of Actor Semantics". Mathematics Doctoral Dissertation. MIT.
nus.edu.sg
comp.nus.edu.sg
- Sun, Jun (2009). «PAT: Towards Flexible Verification under Fairness». Proceedings of the 20th International Conference on Computer-Aided Verification (CAV 2009). Lecture Notes in Computer Science. 5643. Springer. Αρχειοθετήθηκε από το πρωτότυπο στις 2011-06-11. https://web.archive.org/web/20110611055744/http://www.comp.nus.edu.sg/~sunj/Publications/cav09.pdf. Ανακτήθηκε στις 2009-06-16.
- Sun, Jun (2008). «Model Checking CSP Revisited: Introducing a Process Analysis Toolkit». Proceedings of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008). Communications in Computer and Information Science. 17. Springer, pp. 307–322. Αρχειοθετήθηκε από το πρωτότυπο στις 2009-01-08. https://web.archive.org/web/20090108091954/http://www.comp.nus.edu.sg/~sunj/Publications/ISoLA08.pdf. Ανακτήθηκε στις 2009-01-15.
- Sun, Jun (2009). «Integrating Specifications and Programs for System Specification and Verification». IEEE Int. Conf. on Theoretical Aspects of Software Engineering TASE '09. Αρχειοθετήθηκε από το πρωτότυπο στις 2011-06-11. https://web.archive.org/web/20110611055219/http://www.comp.nus.edu.sg/~sunj/Publications/tase09.pdf. Ανακτήθηκε στις 2009-04-13.
psu.edu
citeseer.ist.psu.edu
- Lowe, G. (1996). «Breaking and fixing the Needham-Schroeder public-key protocol using FDR». Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Springer-Verlag, pp. 147–166.. http://citeseer.ist.psu.edu/lowe96breaking.html.
citeseerx.ist.psu.edu
- Parashkevov, Atanas N. (1996). «ARC - a tool for efficient refinement and equivalence checking for CSP». IEEE Int. Conf. on Algorithms and Architectures for Parallel Processing ICA3PP '96, pp. 68–75. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.3212. Ανακτήθηκε στις 2008-11-26.
springer.com
- Abdallah, Ali E.· Jones, Cliff B.· Sanders, Jeff W. (2005). Communicating Sequential Processes: The First 25 Years. LNCS. 3525. Springer.
swtch.com
- «Resources about threaded programming in the Bell Labs CSP style». Ανακτήθηκε στις 15 Απριλίου 2010.
uni-duesseldorf.de
stups.uni-duesseldorf.de
- Leuschel, Michael (2008). «Probing the Depths of CSP-M: A new FDR-compliant Validation Tool» (PDF). ICFEM 2008. Springer-Verlag. Αρχειοθετήθηκε από το πρωτότυπο στις 2011-07-19. https://web.archive.org/web/20110719102153/http://www.stups.uni-duesseldorf.de/publications/main.pdf. Ανακτήθηκε στις 2008-11-26.
web.archive.org
- Leuschel, Michael (2008). «Probing the Depths of CSP-M: A new FDR-compliant Validation Tool» (PDF). ICFEM 2008. Springer-Verlag. Αρχειοθετήθηκε από το πρωτότυπο στις 2011-07-19. https://web.archive.org/web/20110719102153/http://www.stups.uni-duesseldorf.de/publications/main.pdf. Ανακτήθηκε στις 2008-11-26.
- Sun, Jun (2009). «PAT: Towards Flexible Verification under Fairness». Proceedings of the 20th International Conference on Computer-Aided Verification (CAV 2009). Lecture Notes in Computer Science. 5643. Springer. Αρχειοθετήθηκε από το πρωτότυπο στις 2011-06-11. https://web.archive.org/web/20110611055744/http://www.comp.nus.edu.sg/~sunj/Publications/cav09.pdf. Ανακτήθηκε στις 2009-06-16.
- Sun, Jun (2008). «Model Checking CSP Revisited: Introducing a Process Analysis Toolkit». Proceedings of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008). Communications in Computer and Information Science. 17. Springer, pp. 307–322. Αρχειοθετήθηκε από το πρωτότυπο στις 2009-01-08. https://web.archive.org/web/20090108091954/http://www.comp.nus.edu.sg/~sunj/Publications/ISoLA08.pdf. Ανακτήθηκε στις 2009-01-15.
- Sun, Jun (2009). «Integrating Specifications and Programs for System Specification and Verification». IEEE Int. Conf. on Theoretical Aspects of Software Engineering TASE '09. Αρχειοθετήθηκε από το πρωτότυπο στις 2011-06-11. https://web.archive.org/web/20110611055219/http://www.comp.nus.edu.sg/~sunj/Publications/tase09.pdf. Ανακτήθηκε στις 2009-04-13.
wotug.org
- INMOS (12 Μαΐου 1995). occam 2.1 Reference Manual (PDF). SGS-THOMSON Microelectronics Ltd., INMOS document 72 occ 45 03