Bartek Klin

Bartek Klin
E-mail:	klin at mimuw.edu.pl

I am an "adiunkt" in the Faculty of Mathematics, Informatics and Mechanics of the Warsaw University. Currently I am on leave and staying at LFCS, Edinburgh, UK.

Scientific Interests

Operational semantics of process algebras and programming languages,
Coalgebraic and bialgebraic methods,
Algebraic specifications.

Upcoming Events

5th Workshop on Structural Operational Semantics, 6th July 2008, Reykjavik, Iceland

Publications

Bartek Klin: Bialgebraic operational semantics and modal logic.
Procs. LiCS 2007 (final draft pdf).

Bartek Klin: Coalgebraic modal logic beyond sets.
MFPS 2007, ENTCS 173 (final draft pdf).

Bartek Klin: The least fibred lifting and the expressivity of coalgebraic modal logic.
CALCO 2005, LNCS 3269 (pdf, BibTEX).

Bartek Klin, Vladimiro Sassone, Pawel Sobocinski: Labels from Reductions: Towards a General Theory.
CALCO 2005, LNCS 3269 (pdf, BibTEX).

Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman: Amalgamation in the semantics of CASL.
Theoretical Computer Science 331, pp. 215-247, 2005 (BibTEX).

Bartek Klin: Adding recursive constructs to bialgebraic semantics.
Journal of Logic and Algebraic Programming 60-61, pp. 259-286, 2004 (BibTEX).

Bartek Klin: From Bialgebraic Semantics to Congruence Formats.
SOS 2004, ENTCS 128(1) (pdf, BibTEX).

Bartek Klin: A Coalgebraic Approach to Process Equivalence and a Coinduction Principle for Traces.
CMCS 2004, ENTCS 106 (ps, BibTEX).

Bartosz Klin: An Abstract Coalgebraic Approach to Process Equivalence for Well-Behaved Operational Semantics.
PhD dissertation, Aarhus University, February 2004 (pdf, BibTEX).

Bartek Klin, Pawel Sobocinski: Syntactic Formats for Free: An Abstract Approach to Process Equivalence.
Extended abstract: CONCUR 2003, LNCS 2716. (c) Springer-Verlag (BibTEX).
Full version: BRICS Report RS-03-18, April 2003 (ps.gz, pdf, BibTEX).

Till Mossakowski, Bartek Klin: Institution Independent Static Analysis for CASL.
WADT 2001, LNCS 2267, pp. 221-237. (c) Springer-Verlag (BibTEX).

Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski: Checking Amalgamability Conditions in CASL Architectural Specifications.
MFCS 2001, LNCS 2136, pp. 451-463. (c) Springer-Verlag (BibTEX).

Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman: Semantics of Architectural Specifications in CASL.
FASE 2001, LNCS 2029, pp. 253-268. (c) Springer-Verlag (BibTEX).