{"id":1949,"date":"2026-07-01T14:57:56","date_gmt":"2026-07-01T12:57:56","guid":{"rendered":"https:\/\/webs.uab.cat\/hpc4eas\/?post_type=biblio&p=1949"},"modified":"2026-07-01T15:23:28","modified_gmt":"2026-07-01T13:23:28","slug":"from-formal-specifications-to-executable-simulations-a-computation-driven-metasystem-for-agent-based-modeling","status":"publish","type":"biblio","link":"https:\/\/webs.uab.cat\/hpc4eas\/biblio\/from-formal-specifications-to-executable-simulations-a-computation-driven-metasystem-for-agent-based-modeling\/","title":{"rendered":"From Formal Specifications to\u00a0Executable Simulations: A Computation-Driven Metasystem for\u00a0Agent-Based Modeling"},"content":{"rendered":"","protected":false},"excerpt":{"rendered":"","protected":false},"author":2985,"featured_media":0,"template":"","class_list":["post-1949","biblio","type-biblio","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/webs.uab.cat\/hpc4eas\/wp-json\/wp\/v2\/biblio\/1949","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/webs.uab.cat\/hpc4eas\/wp-json\/wp\/v2\/biblio"}],"about":[{"href":"https:\/\/webs.uab.cat\/hpc4eas\/wp-json\/wp\/v2\/types\/biblio"}],"author":[{"embeddable":true,"href":"https:\/\/webs.uab.cat\/hpc4eas\/wp-json\/wp\/v2\/users\/2985"}],"wp:attachment":[{"href":"https:\/\/webs.uab.cat\/hpc4eas\/wp-json\/wp\/v2\/media?parent=1949"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}