03566nam 22006855 450 99646569700331620230222043258.0978354031959710.1007/b107129(CKB)1000000000212891(SSID)ssj0000319775(PQKBManifestationID)11255741(PQKBTitleCode)TC0000319775(PQKBWorkID)10338568(PQKB)11689991(DE-He213)978-3-540-31959-7(MiAaPQ)EBC3067862(PPN)123093260(EXLCZ)99100000000021289120100707d2005 u| 0engurnn#008mamaatxtccrRecent Trends in Algebraic Development Techniques[electronic resource] 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers /edited by José Luiz Fiadeiro, Peter Mosses, Fernando Orejas1st ed. 2005.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2005.1 online resource (VIII, 280 p.)Theoretical Computer Science and General Issues,2512-2029 ;3423"WADT 2004 took place at the Technical University of Catalonia (UPC)"--Pref.3-540-31959-X 3-540-25327-0 Includes bibliographical references and index.Invited Technical Paper -- Behavior-Preserving Refinement Relations Between Dynamic Software Architectures -- Contributed Papers -- Modelling Mobility with Petri Hypernets -- Cryptomorphisms at Work -- Towards a Formal Specification of an Electronic Payment System in CSP-CASL -- Algebraic Semantics of Design Abstractions for Context-Awareness -- CCC – The Casl Consistency Checker -- Ontologies for the Semantic Web in Casl -- Theoroidal Maps as Algebraic Simulations -- Behavioural Semantics of Algebraic Specifications in Arbitrary Logical Systems -- A Simple Refinement Language for Casl -- A Distributed and Mobile Component System Based on the Ambient Calculus -- Application and Formal Specification of Sorted Term-Position Algebras -- From Conditional to Unconditional Rewriting -- Type Class Polymorphism in an Institutional Framework -- Architectural Specifications for Reactive Systems.Theoretical Computer Science and General Issues,2512-2029 ;3423Software engineeringComputer scienceMachine theoryComputer science—MathematicsSoftware EngineeringComputer Science Logic and Foundations of ProgrammingFormal Languages and Automata TheorySymbolic and Algebraic ManipulationSoftware engineering.Computer science.Machine theory.Computer science—Mathematics.Software Engineering.Computer Science Logic and Foundations of Programming.Formal Languages and Automata Theory.Symbolic and Algebraic Manipulation.005.1Fiadeiro José Luizedthttp://id.loc.gov/vocabulary/relators/edtMosses Peteredthttp://id.loc.gov/vocabulary/relators/edtOrejas Fernandoedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465697003316Recent Trends in Algebraic Development Techniques771917UNISA03367nam 22006972 450 991081502560332120240314012827.01-139-89016-61-107-27225-41-107-27173-81-107-47778-61-139-03306-91-107-27382-X1-107-27505-91-107-27831-71-107-27708-6(CKB)2550000001138753(EBL)1303583(OCoLC)856431868(SSID)ssj0000919277(PQKBManifestationID)12401744(PQKBTitleCode)TC0000919277(PQKBWorkID)10909157(PQKB)11405460(UkCbUP)CR9781139033060(MiAaPQ)EBC1303583(Au-PeEL)EBL1303583(CaPaEBR)ebr10774081(CaONFJC)MIL538423(PPN)181167875(EXLCZ)99255000000113875320110225d2013|||| uy| 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierState responsibility the general part /James Crawford[electronic resource]1st ed.Cambridge :Cambridge University Press,2013.1 online resource (lxxiv, 825 pages) digital, PDF file(s)Cambridge studies in international and comparative law ;100Title from publisher's bibliographic system (viewed on 05 Oct 2015).0-521-82266-1 1-306-07172-0 Includes bibliographical references (pages 778-807) and index.part I. The framework of responsibility -- part II. Attribution to the state -- part III. Breach -- part Ivolume Collective or ancillary responsibility -- part volume Cessation and reparation -- part VI. The implementation of responsibility.Annexed to GA Resolution 56/83 of 2001, the International Law Commission's Articles on Responsibility for Internationally Wrongful Acts put the international law of responsibility on a sound footing. As Special Rapporteur for the second reading, James Crawford helped steer it to a successful conclusion. With this book, he provides a detailed analysis of the general law of international responsibility and the place of state responsibility in particular within that framework. It serves as a companion to The International Law Commission's Articles on State Responsibility: Introduction, Text and Commentaries (Cambridge University Press, 2002) and is essential reading for scholars and practitioners concerned with issues of international responsibility, whether they arise in interstate relations, in the context of arbitration or litigation, or in bringing international claims.Cambridge studies in international and comparative law (Cambridge, England : 1996) ;100.International obligationsGovernment liability (International law)International obligations.Government liability (International law)341.26Crawford James1948-2021,624670UkCbUPUkCbUPBOOK9910815025603321State responsibility3947658UNINA