02780nam 22005775 450 99646610640331620200701012047.03-540-39363-310.1007/3-540-15216-4(CKB)1000000000230431(SSID)ssj0000322711(PQKBManifestationID)11268126(PQKBTitleCode)TC0000322711(PQKBWorkID)10288257(PQKB)10224309(DE-He213)978-3-540-39363-4(PPN)155202243(EXLCZ)99100000000023043120121227d1985 u| 0engurnn|008mamaatxtccrDistributed Systems[electronic resource] Methods and Tools for Specification. An Advanced Course /by M.W. Alford, J.P. Ansart, G. Hommel, L. Lamport, B. Liskov, G.P. Mullery, F.B. Schneider ; edited by Manfred Paul, H.J. Siegert1st ed. 1985.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1985.1 online resource (VIII, 576 p.) Lecture Notes in Computer Science,0302-9743 ;190Bibliographic Level Mode of Issuance: Monograph3-540-15216-4 Basic concepts -- Acquisition — environment -- A graph model based approach to specifications -- Formal foundation for specification and verification -- Language constructs for distributed programs -- The argus language and system -- Paradigms for distributed programs -- Issues and tools for protocol specification -- Conclusion.Lecture Notes in Computer Science,0302-9743 ;190Computer communication systemsComputer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Computer communication systems.Computer Communication Networks.004.6Alford M.Wauthttp://id.loc.gov/vocabulary/relators/aut1220900Ansart J.Pauthttp://id.loc.gov/vocabulary/relators/autHommel Gauthttp://id.loc.gov/vocabulary/relators/autLamport Lauthttp://id.loc.gov/vocabulary/relators/autLiskov Bauthttp://id.loc.gov/vocabulary/relators/autMullery G.Pauthttp://id.loc.gov/vocabulary/relators/autSchneider F.Bauthttp://id.loc.gov/vocabulary/relators/autPaul Manfrededthttp://id.loc.gov/vocabulary/relators/edtSiegert H.Jedthttp://id.loc.gov/vocabulary/relators/edtBOOK996466106403316Distributed Systems2830351UNISA