Generic Trace Semantics via Coinduction

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: Logical Methods in Computer Science

Abbreviated Title: Log.Meth.Comput.Sci.

Publisher: Logical Methods in Computer Science e.V.

ISSN (Electronic): 18605974

Publication date Created: 2007

Publication date (Electronic): November 19 2007

Volume: 3

Issue: 4

Article

DOI: 10.2168/LMCS-3(4:11)2007

SO-VID: af7ec5f3-661c-428c-a9f9-91aa4d8968d3

History

Data availability:

Comments

Comment on this article

scite_

Smart Citations

Citing PublicationsSupportingMentioningContrasting

View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.