Slijedni priopćajni postupci (Croatian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Slijedni priopćajni postupci" in Croatian language version.

refsWebsite

Global rank Croatian rank

2^nd place

12^th place

low place

low place

1anthonyhall.org

low place

low place

207^th place

1,167^th place

anthonyhall.org

Hall, A; Chapman, R. 2002. Correctness by construction: Developing a commercial secure system (PDF). IEEE Software. 19 (1): 18–25

doi.org

Hoare, C. A. R. 1978. Communicating sequential processes. Communications of the ACM. 21 (8): 666–677. doi:10.1145/359576.359585
Barrett, G. 1995. Model checking in practice: The T9000 Virtual Channel Processor. IEEE Transactions on Software Engineering. 21 (2): 69–78. doi:10.1109/32.345823

psu.edu

citeseerx.ist.psu.edu

Creese, Sadie. 2001. Data Independent Induction: CSP Model Checking of Arbitrary Sized Networks journal zahtijeva |journal= (pomoć)

wotug.org

INMOS. 12. svibnja 1995. occam 2.1 Reference Manual (PDF). SGS-THOMSON Microelectronics Ltd., INMOS document 72 occ 45 03