{"entities":{"Q1779177":{"pageid":1789919,"ns":120,"title":"Item:Q1779177","lastrevid":68940336,"modified":"2026-04-13T03:14:58Z","type":"item","id":"Q1779177","labels":{"en":{"language":"en","value":"Formal techniques for networked and distributed systems -- FORTE 2004. 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27--30, 2004. Proceedings."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2172622"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779177$70AA1442-AF5D-4720-AF17-C5D162D396D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55da37e4a2fabf21ab8a0caeed11063061c0a4c7","datavalue":{"value":{"text":"Formal techniques for networked and distributed systems -- FORTE 2004. 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27--30, 2004. Proceedings.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1779177$99249AF9-C98B-4DFB-94DA-5B7FA2C23D3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56db8cca13a265df6b92261aea6930ce22ee463f","datavalue":{"value":"1062.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1779177$576B7692-D0C9-4F3D-82AD-377939AD0103","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779177$64994CCC-27F2-4AD1-BA8B-715BDAB8B08B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"553745836456be338e263d440321800bf4a8aabd","datavalue":{"value":{"time":"+2005-05-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1779177$18FAE62F-CC96-41EC-9330-42B3243A79DE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f50b3d988efd56be1087c8bdbb9a9a5e925d3fab","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 1027.00033).  Indexed articles:  \\textit{Abadi, Mart\u00edn; Wobber, Ted}, A logical account of NGSCB, 1-12 [Zbl 1110.68308]  \\textit{Bolognesi, Tommaso}, Composing event constraints in state-based specification, 13-32 [Zbl 1110.68409]  \\textit{Doherty, Simon; Groves, Lindsay; Luchangco, Victor; Moir, Mark}, Formal verification of a practical lock-free queue algorithm, 97-114 [Zbl 1110.68410]  \\textit{Haydar, May; Petrenko, Alexandre; Sahraoui, Houari}, Formal verification of web applications modeled by communicating automata, 115-132 [Zbl 1110.68314]  \\textit{Ural, Hasan; Yenig\u00fcn, H\u00fcsn\u00fc}, Towards design recovery from observations, 133-149 [Zbl 1110.68422]  \\textit{Alcalde, Baptiste; Cavalli, Ana; Chen, Dongluo; Khuu, Davy; Lee, David}, Network protocol system passive testing for fault management: A backward checking approach, 150-166 [Zbl 1110.68321]  \\textit{Godskesen, Jens Chr.; Nielsen, Brian; Skou, Arne}, Connectivity testing through model-checking, 167-184 [Zbl 1110.68312]  \\textit{El-Fakih, Khaled; Yevtushenko, Nina}, Fault propagation by equation solving, 185-198 [Zbl 1110.68350]  \\textit{Wang, Xin; Wang, Ji; Qi, Zhi-Chang}, Automatic generation of run-time test oracles for distributed real-time systems, 199-212 [Zbl 1110.68349]  \\textit{Salah, Aziz; Mizouni, Rabeb; Dssouli, Rachida; Parreaux, Beno\u00eet}, Formal composition of distributed scenarios, 213-228 [Zbl 1110.68347]  \\textit{Chen, Jessica; Hierons, Robert M.; Ural, Hasan}, Conditions for resolving observability problems in distributed testing, 229-242 [Zbl 1110.68334]  \\textit{Meolic, Robert; Fantechi, Alessandro; Gnesi, Stefania}, Witness and counterexample automata for ACTL, 259-275 [Zbl 1110.68411]  \\textit{Thierry-Mieg, Yann; Ili\u00e9, Jean-Michel; Poitrenaud, Denis}, A symbolic symbolic state space representation, 276-291 [Zbl 1110.68348]  \\textit{Maci\u00e1, Hermenegilda; Valero, Valent\u00edn; Cazorla, Diego; Cuartero, Fernando}, Introducing the iteration in sPBC, 292-309 [Zbl 1110.68420]  \\textit{Devillers, Raymond; Klaudel, Hanna; Koutny, Maciej}, Petri net semantics of the finite \\(\\pi\\)-calculus, 309-325 [Zbl 1110.68417]  \\textit{Chatain, Thomas; Jard, Claude}, Symbolic diagnosis of partially observable concurrent systems, 326-342 [Zbl 1110.68416]  \\textit{Wibling, Oskar; Parrow, Joachim; Pears, Arnold}, Automatized verification of ad hoc routing protocols, 343-358 [Zbl 1110.68327]  \\textit{Naldurg, Prasad; Sen, Koushik; Thati, Prasanna}, A temporal logic based framework for intrusion detection, 359-375 [Zbl 1110.68382]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1779177$66E30C23-4E46-4896-B478-39CF403155A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1779177$B3EFCCCB-D3B4-49D3-890D-B7DDF1CD5131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1779177$5B974DA4-1320-4FC1-B223-1C501159A2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1779177$67159928-CEC2-46E9-9CFC-FA626420DEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1779177$FB50D7D8-98FF-4FDF-8B01-014F3883D5E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"378fa2459b28899ff0e70ba517ac2f0eac0868cb","datavalue":{"value":"2172622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1779177$4D3015F3-2B05-40BC-B0AC-EB3EE14528B0","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779177$9C7497EE-C10A-408B-80F0-CBA7BE388136","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a06b7b0d70feb78a09675dcd52e81b801cda150c","datavalue":{"value":"https://doi.org/10.1007/b100576","type":"string"},"datatype":"url"},"type":"statement","id":"Q1779177$E356E205-522F-4A04-8A2F-1058CA157207","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a8785a931a1b4ff47231e3ddd721198fbb50390","datavalue":{"value":"W2244752996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1779177$C924F6BA-D415-4F89-881F-FF6FA26113A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"605b65bef6930dff50fdf49458f9847af89f706a","datavalue":{"value":"10.1007/B100576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1779177$D0FA383D-38C4-42D8-A8ED-18C4E868A24A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal techniques for networked and distributed systems -- FORTE 2004. 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27--30, 2004. Proceedings.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_techniques_for_networked_and_distributed_systems_--_FORTE_2004._24th_IFIP_WG_6.1_international_conference,_Madrid,_Spain,_September_27--30,_2004._Proceedings."}}}}}