Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Lars-Henrik Eriksson"'
Autor:
Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramūnas Forsberg Gutkovas, Tjark Weber
Publikováno v:
Logical Methods in Computer Science, Vol Volume 17, Issue 1 (2021)
We define a general notion of transition system where states and action labels can be from arbitrary nominal sets, actions may bind names, and state predicates from an arbitrary logic define properties of states. A Hennessy-Milner logic for these sys
Externí odkaz:
https://doaj.org/article/771b4fa2af15425eb60b77cb5c255282
Publikováno v:
Formal Techniques for Distributed Objects, Components, and Systems ISBN: 9783319602240
FORTE
FORTE
Previous work on nominal transition systems explores strong bisimulation and a general kind of Hennessy-Milner logic with infinite but finitely supported conjunction, showing that it is remarkably expressive. In the present paper we treat weak bisimu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f853908c115c7b99499ca51fa99d4286
https://doi.org/10.1007/978-3-319-60225-7_13
https://doi.org/10.1007/978-3-319-60225-7_13
Publikováno v:
New Generation Computing. 7:381-404
We present a logic programming language, GCLA (Generalized horn Clause LAnguage), that is based on a generalization of Prolog. This generalization is unusual in that it takes a quite different view of the meaning of a logic program--a "definitional"
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5e885ac06cc4ae79cbce5e9ffae1f230
https://doi.org/10.1007/bf03037453
https://doi.org/10.1007/bf03037453
Publikováno v:
Extensions of Logic Programming ISBN: 354053590X
ELP
ELP
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cdadef703aa57858880ee3c9bfbd314d
https://doi.org/10.1007/bfb0038692
https://doi.org/10.1007/bfb0038692
Autor:
Lars-Henrik Eriksson
A suitable method supported by a toolset with a high degree of automation is a necessity for the successful employment of formal methods in industrial projects. The GTO toolset and method have been developed, and successfully applied, to formal metho
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8c59003fc06ddd2846946642074d1f6e
https://inria.hal.science/inria-00089492
https://inria.hal.science/inria-00089492
Autor:
Lars-Henrik Eriksson
Publikováno v:
Extensions of Logic Programming ISBN: 354055498X
ELP
ELP
The theory of partial inductive definitions is a mathematical formalism which has proved to be useful in a number of different applications. The fundamentals of the theory is shortly described. Partial inductive definitions and their associated calcu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ac538d8dafb3d89211def80dfea7e05e
https://doi.org/10.1007/bfb0013605
https://doi.org/10.1007/bfb0013605
Autor:
Martin Aronsson, Lars-Henrik Eriksson
Publikováno v:
Processing Declarative Knowledge ISBN: 354055033X
PDK
PDK
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c07dd844ca80f97e2ce1a75a3c85409c
https://doi.org/10.1007/bfb0013546
https://doi.org/10.1007/bfb0013546
Autor:
Lars-Henrik Eriksson
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540231769
SAFECOMP
SAFECOMP
Today the development of safety-critical systems is to a large extent guided by standards that make demands on both development process and system quality. Before the advent of these standards, development was typically done on a "best practise'' bas
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d6a27d101f9ecb6472812c4f317a21ab
https://doi.org/10.1007/978-3-540-30138-7_4
https://doi.org/10.1007/978-3-540-30138-7_4
Autor:
Peter A. Lindsay, Lars-Henrik Eriksson
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540439288
FME 2002:Formal Methods—Getting IT Right
FME 2002:Formal Methods—Getting IT Right
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c2381e0a8c9be209f52bfc94d17c3649
https://doi.org/10.1007/3-540-45614-7
https://doi.org/10.1007/3-540-45614-7
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540580256
Extensions of Logic Programming
Extensions of Logic Programming
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dcaee4b83f648ef7bd204497875de6a2
https://doi.org/10.1007/3-540-58025-5
https://doi.org/10.1007/3-540-58025-5