LEADER 01252nas 2200385-a 450 001 996207656003316 005 20240413012554.0 035 $a(CKB)991042754103352 035 $a(CONSER)sn-98001403- 035 $a(EXLCZ)99991042754103352 100 $a19981231a19999999 --- a 101 0 $aeng 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aHealth products business 210 $aMelville, NY $cCygnus Pub.$dİ1999- 215 $a1 online resource 300 $aTitle from cover. 311 08$aPrint version: Health products business. 1523-0473 (DLC)sn 98001403 (OCoLC)40561457 517 3 $aHealth 531 0 $aHealth prod. bus. 606 $aNatural foods industry$zUnited States$vPeriodicals 606 $aNatural foods industry$2fast$3(OCoLC)fst01034043 607 $aUnited States$2fast$1https://id.oclc.org/worldcat/entity/E39PBJtxgQXMWqmjMjjwXRHgrq 608 $aPeriodicals.$2fast 608 $aPeriodicals.$2lcgft 615 0$aNatural foods industry 615 7$aNatural foods industry. 676 $a338.4/7/6413 906 $aJOURNAL 912 $a996207656003316 920 $aexl_impl conversion 996 $aHealth products business$92386420 997 $aUNISA LEADER 04494nam 22007455 450 001 9910484294303321 005 20251225173445.0 010 $a3-030-78089-9 024 7 $a10.1007/978-3-030-78089-0 035 $a(CKB)4100000011954227 035 $a(DE-He213)978-3-030-78089-0 035 $a(MiAaPQ)EBC6640063 035 $a(Au-PeEL)EBL6640063 035 $a(OCoLC)1256542180 035 $a(PPN)257358390 035 $a(EXLCZ)994100000011954227 100 $a20210609d2021 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFormal Techniques for Distributed Objects, Components, and Systems $e41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14?18, 2021, Proceedings /$fedited by Kirstin Peters, Tim A. C. Willemse 205 $a1st ed. 2021. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021. 215 $a1 online resource (XII, 245 p. 73 illus., 34 illus. in color.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v12719 311 08$a3-030-78088-0 327 $aOn Bidirectional Runtime Enforcement -- A Multi-Agent Model for Polarization under Confirmation Bias in Social Networks -- A Formalisation of SysML State Machines in mCRL2 -- How Adaptive and Reliable is your Program -- Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves -- Prioritise the Best Variation -- Introduction and Preservation Analysis of Refinement Relations in CCSL -- A Case Study on Parametric Verification of Failure Detectors -- ? with Leftovers: a Mechanisation in Agda -- Supervisory Synthesis of Configurable Behavioural Contracts with Modalities -- Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths -- Towards a Spatial Model Checker on GPU -- Formal verification of HotStuff -- Better Late than Never or: Verifying Asynchronous Components at Runtime -- Designing Distributed Software in mCRL2. 330 $aThis book constitutes the refereed proceedings of the 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021. The 9 regular papers and 4 short papers presented were carefully reviewed and selected from 26 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed and/or communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healing/organising; and verification, validation, formal analysis, and testing of the above. Due to the Corona pandemic this event was held virtually. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v12719 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aComputer science$xMathematics 606 $aComputer networks 606 $aComputers, Special purpose 606 $aMathematical logic 606 $aSoftware Engineering 606 $aArtificial Intelligence 606 $aMathematics of Computing 606 $aComputer Communication Networks 606 $aSpecial Purpose and Application-Based Systems 606 $aGeneral Logic 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 0$aComputer science$xMathematics. 615 0$aComputer networks. 615 0$aComputers, Special purpose. 615 0$aMathematical logic. 615 14$aSoftware Engineering. 615 24$aArtificial Intelligence. 615 24$aMathematics of Computing. 615 24$aComputer Communication Networks. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aGeneral Logic. 676 $a004.36 702 $aPeters$b Kirstin 702 $aWillemse$b Tim 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484294303321 996 $aFormal Techniques for Distributed Objects, Components, and Systems$92880511 997 $aUNINA