Analyzing a χ model of a turntable system using Spin, CADP and Uppaal

Autor: Bortnik, E., Trčka, N., Wijs, A.J., Luttik, B., van de Mortel-Fronczak, J.M., Baeten, J.C.M., Fokkink, W.J., Rooda, J.E.

Publikováno v: In Journal of Logic and Algebraic Programming 2005 65(2):51-104

Algebraic Meta-Theory of Processes with Data

Autor: Gebler, E.D., Goriac, E-I., Mousavi, M., Borgström, J., Luttik, B.

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 120, Iss Proc. EXPRESS/SOS 2013, Pp 63-77 (2013)
EXPRESS/SOS
Gebler, E D, Goriac, E-I & Mousavi, M 2013, Algebraic Meta-Theory of Processes with Data . in J Borgström & B Luttik (eds), Proc. 20th Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics-EXPRESS/SOS'13 . vol. 120, EPTCS, pp. 63-77 . https://doi.org/10.4204/EPTCS.120.6
Proc. 20th Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics-EXPRESS/SOS'13, 120, 63-77

There exists a rich literature of rule formats guaranteeing different algebraic properties for formalisms with a Structural Operational Semantics. Moreover, there exist a few approaches for automatically deriving axiomatizations characterizing strong

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::24cafa43dd48496293565b3e853ea4c2
https://doaj.org/article/3dfef7a33a544f19bb32f1d6a1683df9

Tree rules in probabilistic transition system specifications with negative and quantitative premises

Autor: Lee, M.D., Gebler, D., D'Argenio, P.R., Luttik, B., Reniers, M.A.

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 89, Iss Proc. EXPRESS/SOS 2012, Pp 115-130 (2012)
Lee, M D, Gebler, D & D'Argenio, P R 2012, Tree rules in probabilistic transition system specifications with negative and quantitative premises . in B Luttik & M A Reniers (eds), Proc. 19th Workshop on Expressiveness in Concurrency and 9th Workshop on Structural Operational Semantics-EXPRESS/SOS'12 . EPTCS, pp. 115-130 . https://doi.org/10.4204/EPTCS.89.9
Proc. 19th Workshop on Expressiveness in Concurrency and 9th Workshop on Structural Operational Semantics-EXPRESS/SOS'12, 115-130
STARTPAGE=115;ENDPAGE=130;TITLE=Proc. 19th Workshop on Expressiveness in Concurrency and 9th Workshop on Structural Operational Semantics-EXPRESS/SOS'12
EXPRESS/SOS

Probabilistic transition system specifications (PTSSs) in the ntmufnu/ntmuxnu format provide structural operational semantics for Segala-type systems that exhibit both probabilistic and nondeterministic behavior and guarantee that isimilarity is a co

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b96f80da65f986fb4e729f1ea794fa5d
https://doaj.org/article/b4ec487e76394b41971b6618b4aaced7

The categorical limit of a sequence of dynamical systems

Autor: Cuijpers, P.J.L., Borgström, J., Luttik, B.

Publikováno v: Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics (EXPRESS/SOS 2013, Buenos Aires, Argentina, August 26, 2013), 78-92
STARTPAGE=78;ENDPAGE=92;TITLE=Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics (EXPRESS/SOS 2013, Buenos Aires, Argentina, August 26, 2013)
Electronic Proceedings in Theoretical Computer Science, Vol 120, Iss Proc. EXPRESS/SOS 2013, Pp 78-92 (2013)

Modeling a sequence of design steps, or a sequence of parameter settings, yields a sequence of dynamical systems. In many cases, such a sequence is intended to approximate a certain limit case. However, formally defining that limit turns out to be su

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b77b807e401194e633722aacc8c8a19b
https://doi.org/10.4204/eptcs.120.7

Linearization of CIF Through SOS

Autor: Nadales Agut, D.E., Reniers, M.A., Luttik, B., Valencia, F.

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 64, Iss Proc. EXPRESS 2011, Pp 74-88 (2011)
Proceedings of the 18th International Workshop on Expressiveness in Concurrency (EXPRESS 2011), 5 september 2011, Aachen, Germany, 74-88
STARTPAGE=74;ENDPAGE=88;TITLE=Proceedings of the 18th International Workshop on Expressiveness in Concurrency (EXPRESS 2011), 5 september 2011, Aachen, Germany

Linearization is the procedure of rewriting a process term into a linear form, which consist only of basic operators of the process language. This procedure is interesting both from a theoretical and a practical point of view. In particular, a linear

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fb7ed086735e86b57d493848d6431ef0
https://doaj.org/article/f709a94b0c064b0ba97f172a31377c01