Zobrazeno 1 - 10
of 25
pro vyhledávání: '"Ben C. Moszkowski"'
Autor:
Dimitar P. Guelev, Ben C. Moszkowski
Publikováno v:
Formal Aspects of Computing. 29:705-750
We revisit the earliest temporal projection operator Π in discrete-time Propositional Interval Temporal Logic (PITL) and use it to formalise interleaving concurrency. The logical properties of Π as a normal modality and a way to eliminate it in bot
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8dad15086f1a49b93c0aee4c2e5e6600
https://doi.org/10.1007/s00165-017-0417-3
https://doi.org/10.1007/s00165-017-0417-3
Publikováno v:
Fundamenta Informaticae
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2019, 167 (4), pp.323--354. ⟨10.3233/FI-2019-1820⟩
Fundamenta Informaticae, 2019, 167 (4), pp.323--354. ⟨10.3233/FI-2019-1820⟩
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2019, 167 (4), pp.323--354. ⟨10.3233/FI-2019-1820⟩
Fundamenta Informaticae, 2019, 167 (4), pp.323--354. ⟨10.3233/FI-2019-1820⟩
International audience; In this paper, we further develop a recently introduced semantic link between temporal logics and Petri nets. We focus on two specific formalisms, Interval Temporal Logic (ITL) and Box Algebra (BA), which are closely related b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::356d131301cbc0ca65b9daf3be795956
https://hal.archives-ouvertes.fr/hal-02196476
https://hal.archives-ouvertes.fr/hal-02196476
Publikováno v:
Formal Methods in System Design. 43:450-492
Access control mechanisms protect critical resources of systems from unauthorized access. In a policy-based management approach, administrators define user privileges as rules that determine the conditions and the extent of users' access rights. As r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6b8c3d3bf62a65634186db76ca99d9e0
https://doi.org/10.1007/s10703-013-0187-3
https://doi.org/10.1007/s10703-013-0187-3
Autor:
Ben C. Moszkowski
Publikováno v:
Information Processing Letters. 113:350-353
Interval Temporal Logic (ITL) is an established formalism for reasoning about time periods. We elucidate here the relationship between various kinds of compositional propositional ITL formulas. Several are closed under conjunction and the standard te
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3427ad1ec2e58b395e3399b2588497fa
https://doi.org/10.1016/j.ipl.2013.02.005
https://doi.org/10.1016/j.ipl.2013.02.005
Publikováno v:
16th International Conference on Application of Concurrency to System Design (ACSD 2016)
16th International Conference on Application of Concurrency to System Design (ACSD 2016), Jun 2016, Torun, Poland. pp.11--18, ⟨10.1109/ACSD.2016.12⟩
ACSD
16th International Conference on Application of Concurrency to System Design (ACSD 2016), Jun 2016, Torun, Poland. pp.11--18, ⟨10.1109/ACSD.2016.12⟩
ACSD
International audience; Petri nets and Interval Temporal Logic (ITL) are two formalisms for the specification and analysis of concurrent computing systems. Petri nets allow for a direct expression of causality aspects in system behaviour and in parti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::167d124689031861b7c4b97cd6517ea4
https://hal.science/hal-01496956
https://hal.science/hal-01496956
Autor:
Ben C. Moszkowski
Publikováno v:
Journal of Logic and Computation. 17:333-409
This work further develops and perfects the hierarchical interval-oriented methods for analysing conventional propositional linear-time temporal logic (PTL) contained in earlier Outputs 1 and 3. It includes numerous simplified examples, algorithms an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c1e280b19407a3fdc9e56faa3d754182
https://doi.org/10.1093/logcom/exm006
https://doi.org/10.1093/logcom/exm006
Autor:
Dimitar P. Guelev, Ben C. Moszkowski
Publikováno v:
Dependable Software Engineering: Theories, Tools, and Applications ISBN: 9783319259413
SETTA
SETTA
We revisit the earliest temporal projection operator $$\mathrm \Pi $$ in discrete-time Propositional Interval Temporal Logic PITL and use it to formalise interleaving concurrency. The logical properties of $$\mathrm{\Pi }$$ as a normal modality and a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::48596bc17ecd3cca162902df74577518
https://doi.org/10.1007/978-3-319-25942-0_10
https://doi.org/10.1007/978-3-319-25942-0_10
Autor:
Antonio Cau, Hussein Zedan, J. Dimitrov, Ben C. Moszkowski, R. Hale, M. Manjunathaiah, M. Spivey
Publikováno v:
Design Automation for Embedded Systems. 6:367-399
We describe a compositional framework, together with its supporting toolset, for hardware/software co-design. Our framework is an integration of a formal approach within a traditional design flow. The formal approach is based on Interval Temporal Log
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9d78d75fae8e2028b60d3b7cbf726d48
https://doi.org/10.1023/a:1016507527035
https://doi.org/10.1023/a:1016507527035
This special issue contains a selection of revised and expanded versions of papers originally presented in a special track on Interval Temporal Logics (ITLs) at the 18th International Symposium on Temporal Representation and Reasoning (TIME 2011). Th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::88bc08ec496960d6c608eb68fae59ca0
Publikováno v:
2012 Spring Congress on Engineering and Technology.
Transactional memory (TM) is a promising lock-free technique that can avoid the problems associated with locking. It provides a more general and flexible way than other lock-based techniques by allowing programs to atomically read and modify disparat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2e40123abfda8f7d45a2a174856ee79f
https://doi.org/10.1109/scet.2012.6342060
https://doi.org/10.1109/scet.2012.6342060