Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Perturbations and operator trace functions

Suijlekom, W.D. van

Publication date

January 2011

DOI

10.1016/j.jfa.2010.12.012

Publisher

Elsevier BV

ISSN

0022-1236

Citation count (estimate)

3

Abstract

Contains fulltext : 92184.pdf (postprint version ) (Open Access

Extracted data

Related items

Relating operator spaces via adjunctions

Jacobs, B.
Mandemaker, J.J.

January 2016

Contains fulltext : 161317.pdf (preprint version ) (Closed access

A coalgebraic view on decorated traces

Bonchi, F.
Bonsangue, M.
Caltais, G.
Rutten, J.J.M.M.
Silva, A.

January 2016

Contains fulltext : 161413.pdf (preprint version ) (Open Access

Testing with Functions as Specifications

Koopman, P.W.M.

January 2004

Contains fulltext : 60212.pdf (publisher's version ) (Open Access)[S.l. : s.n.

Trace semantics via determinization

Jacobs, B.
Silva, A.
Sokolova, A.

January 2015

Contains fulltext : 141327.pdf (preprint version ) (Open Access

Trace Semantics via Determinization

Jacobs, B.P.F.
Silva, A.
Sokolova, A.

January 2012

Contains fulltext : 103855.pdf (author's version ) (Closed access

Tracking TRACE's troubles

Cutler, A.
Norris, D.
McQueen, J.M.

January 2000

Contains fulltext : 16991.pdf (publisher's version ) (Open Access

Steps and traces*

Rot, J.
Jacobs, B.P.F.
Levy, P.B.

January 2021

Contains fulltext : 238076.pdf (Publisher’s version ) (Open Access

Traces for coalgebraic components

Hasuo, I.
Jacobs, B.

January 2011

Contains fulltext : 92508.pdf (author's version ) (Open Access) ...

Automatic Testing of Higher Order Functions

Koopman, Pieter
Plasmeijer, Rinus

January 2006

Contains fulltext : 36061.pdf (author's version ) (Open Access

Generic Trace Semantics via Coinduction

Hasuo, Ichiro
Jacobs, Bart
Sokolova, A.

January 2007

Contains fulltext : 34720.pdf (author's version ) (Open Access

Bound Propagation

Leisink, M.A.R.
Kappen, H.J.

January 2003

Contains fulltext : 112670.pdf (publisher's version ) (Open Access

Testing Higher Order Functions -- textscExtended Abstract

Koopman, P.W.M.
Plasmeijer, M.J.

January 2005

Contains fulltext : 32303.pdf (author's version ) (Open Access

Final Semantics for Decorated Traces

Bonchi, F.
Bonsangue, M.
Caltais, G.
Rutten, J.
Silva, A.

January 2012

Contains fulltext : 103365.pdf (publisher's version ) (Closed access

Form, function and the matter of experience

Haselager, W.F.G.

January 2002

Contains fulltext : 62486pos.pdf (postprint version ) (Open Access

Perspectival expressives

Hess, Leopold

January 2018

Contains fulltext : 191659.pdf (publisher's version ) (Open Access

Relating operator spaces via adjunctions

Jacobs, B.
Mandemaker, J.J.

January 2016

Contains fulltext : 161317.pdf (preprint version ) (Closed access

A coalgebraic view on decorated traces

Bonchi, F.
Bonsangue, M.
Caltais, G.
Rutten, J.J.M.M.
Silva, A.

January 2016

Contains fulltext : 161413.pdf (preprint version ) (Open Access

Testing with Functions as Specifications

Koopman, P.W.M.

January 2004

Contains fulltext : 60212.pdf (publisher's version ) (Open Access)[S.l. : s.n.

Trace semantics via determinization

Jacobs, B.
Silva, A.
Sokolova, A.

January 2015

Contains fulltext : 141327.pdf (preprint version ) (Open Access

Trace Semantics via Determinization

Jacobs, B.P.F.
Silva, A.
Sokolova, A.

January 2012

Contains fulltext : 103855.pdf (author's version ) (Closed access

Tracking TRACE's troubles

Cutler, A.
Norris, D.
McQueen, J.M.

January 2000

Contains fulltext : 16991.pdf (publisher's version ) (Open Access

Steps and traces*

Rot, J.
Jacobs, B.P.F.
Levy, P.B.

January 2021

Contains fulltext : 238076.pdf (Publisher’s version ) (Open Access

Traces for coalgebraic components

Hasuo, I.
Jacobs, B.

January 2011

Contains fulltext : 92508.pdf (author's version ) (Open Access) ...

Automatic Testing of Higher Order Functions

Koopman, Pieter
Plasmeijer, Rinus

January 2006

Contains fulltext : 36061.pdf (author's version ) (Open Access

Generic Trace Semantics via Coinduction

Hasuo, Ichiro
Jacobs, Bart
Sokolova, A.

January 2007

Contains fulltext : 34720.pdf (author's version ) (Open Access

Bound Propagation

Leisink, M.A.R.
Kappen, H.J.

January 2003

Contains fulltext : 112670.pdf (publisher's version ) (Open Access

Testing Higher Order Functions -- textscExtended Abstract

Koopman, P.W.M.
Plasmeijer, M.J.

January 2005

Contains fulltext : 32303.pdf (author's version ) (Open Access

Final Semantics for Decorated Traces

Bonchi, F.
Bonsangue, M.
Caltais, G.
Rutten, J.
Silva, A.

January 2012

Contains fulltext : 103365.pdf (publisher's version ) (Closed access

Form, function and the matter of experience

Haselager, W.F.G.

January 2002

Contains fulltext : 62486pos.pdf (postprint version ) (Open Access

Perspectival expressives

Hess, Leopold

January 2018

Contains fulltext : 191659.pdf (publisher's version ) (Open Access

Relating operator spaces via adjunctions

Jacobs, B.
Mandemaker, J.J.

January 2016

Contains fulltext : 161317.pdf (preprint version ) (Closed access

A coalgebraic view on decorated traces

Bonchi, F.
Bonsangue, M.
Caltais, G.
Rutten, J.J.M.M.
Silva, A.

January 2016

Contains fulltext : 161413.pdf (preprint version ) (Open Access

Testing with Functions as Specifications

Koopman, P.W.M.

January 2004

Contains fulltext : 60212.pdf (publisher's version ) (Open Access)[S.l. : s.n.