Extensional equivalences for transition systems

De Nicola, Rocco

doi:10.1007/BF00264365

Record: found
Abstract: not found
Article: not found

Extensional equivalences for transition systems

Author(s): Rocco De Nicola

Publication date Created: April 1987

Publication date (Print): April 1987

Journal: Acta Informatica

Publisher: Springer Nature

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Journal

Title: Acta Informatica

Abbreviated Title: Acta Informatica

Publisher: Springer Nature

ISSN (Print): 0001-5903

ISSN (Electronic): 1432-0525

Publication date Created: April 1987

Publication date (Print): April 1987

Volume: 24

Issue: 2

Pages: 211-237

Article

DOI: 10.1007/BF00264365

SO-VID: 68be8da2-2112-422f-9a76-9cfad404aa97

History

Data availability:

Comments

Comment on this article

scite_

Cited by 23

The chemical abstract machine
Authors: Gerard Berry, Gérard Boudol
Introduction to the ISO specification language LOTOS
Authors: Tommaso Bolognesi, Ed Brinksma
Testing Concurrent Systems: A Formal Approach
Authors: Jan Tretmans

See all cited by

Extensional equivalences for transition systems

Read this article at

Related collections

Socioecological systems

Author and article information

Journal

Article

History

Comments

Comment on this article

Similar content 2,340

Cited by 23