{"id":140,"date":"2025-03-17T11:48:02","date_gmt":"2025-03-17T11:48:02","guid":{"rendered":"http:\/\/synasc.ro\/2026-new\/?page_id=140"},"modified":"2026-06-11T21:10:59","modified_gmt":"2026-06-11T21:10:59","slug":"tutorials","status":"publish","type":"page","link":"https:\/\/synasc.ro\/2026\/tutorials\/","title":{"rendered":"Tutorials"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"140\" class=\"elementor elementor-140\" data-elementor-post-type=\"page\">\n\t\t\t\t<div class=\"elementor-element elementor-element-f9b4f48 e-flex e-con-boxed e-con e-parent\" data-id=\"f9b4f48\" data-element_type=\"container\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t\t\t<div class=\"elementor-element elementor-element-482cdc9 elementor-widget elementor-widget-heading\" data-id=\"482cdc9\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\"><a href=\"https:\/\/synasc.ro\/2026\/tutorials\/formal-modeling-and-analysis-of-distributed-and-real-time-systems-in-maude\/\">Formal Modeling and Analysis of Distributed and Real-Time Systems in Maude<br><br><br><br><br><\/a><\/h2>\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>Formal Modeling and Analysis of Distributed and Real-Time Systems in Maude<\/p>\n","protected":false},"author":27,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-140","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/pages\/140","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/users\/27"}],"replies":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/comments?post=140"}],"version-history":[{"count":43,"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/pages\/140\/revisions"}],"predecessor-version":[{"id":1739,"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/pages\/140\/revisions\/1739"}],"wp:attachment":[{"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/media?parent=140"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}