AbstractGroote and Vaandrager introduced the tyft format, which is a congruence format for strong bisimulation equivalence. This article proposes additional syntactic requirements on the tyft format, extended with predicates, to obtain a precongruence format for language preorder
e mail wancwinl Abstract Groote and Vaandrager introduced the tyfttyxt format for transition syst...
This paper explores the connection between semantic equivalences and preorders for concrete sequenti...
Groote and Vaandrager introduced the tyft/tyxt format for Transition System Specifications (TSSs), a...
Groote and Vaandrager introduced the tyft format, which is a congruence format for strong bisimulati...
Groote and Vaandrager introduced the tyft format, which is a congruence format for strong bisimulati...
A framework of Plotkin and Turis, originally aimed at providing an abstract notion of bisimulation, ...
In this paper we describe the promoted tyft/tyxt rule format for defining higher-order languages. Th...
This paper explores the connection between semantic equivalences and preorders for concrete sequenti...
AbstractIn this paper we are interested in general properties of classes of transition system specif...
AbstractThis paper presents a new format for process algebras, the extended tyft/tyxt format which g...
AbstractShould testing preorder was proposed as a liveness-preserving precongruence for a process al...
AbstractIn this paper, we solve two open problems posed by Karen L. Bernstein regarding her promoted...
In this paper, we solve two open problems posed by Karen L. Bernstein regarding her promoted tyft fo...
AbstractThis article presents a congruence format, in structural operational semantics, for rooted b...
This paper explores the connection between semantic equivalences and preorders for concrete sequenti...
e mail wancwinl Abstract Groote and Vaandrager introduced the tyfttyxt format for transition syst...
This paper explores the connection between semantic equivalences and preorders for concrete sequenti...
Groote and Vaandrager introduced the tyft/tyxt format for Transition System Specifications (TSSs), a...
Groote and Vaandrager introduced the tyft format, which is a congruence format for strong bisimulati...
Groote and Vaandrager introduced the tyft format, which is a congruence format for strong bisimulati...
A framework of Plotkin and Turis, originally aimed at providing an abstract notion of bisimulation, ...
In this paper we describe the promoted tyft/tyxt rule format for defining higher-order languages. Th...
This paper explores the connection between semantic equivalences and preorders for concrete sequenti...
AbstractIn this paper we are interested in general properties of classes of transition system specif...
AbstractThis paper presents a new format for process algebras, the extended tyft/tyxt format which g...
AbstractShould testing preorder was proposed as a liveness-preserving precongruence for a process al...
AbstractIn this paper, we solve two open problems posed by Karen L. Bernstein regarding her promoted...
In this paper, we solve two open problems posed by Karen L. Bernstein regarding her promoted tyft fo...
AbstractThis article presents a congruence format, in structural operational semantics, for rooted b...
This paper explores the connection between semantic equivalences and preorders for concrete sequenti...
e mail wancwinl Abstract Groote and Vaandrager introduced the tyfttyxt format for transition syst...
This paper explores the connection between semantic equivalences and preorders for concrete sequenti...
Groote and Vaandrager introduced the tyft/tyxt format for Transition System Specifications (TSSs), a...
DOI
Add to ORKG