dblp.uni-trier.dewww.uni-trier.de

Bartek Klin Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
16EEBartek Klin: Structural Operational Semantics for Weighted Transition Systems. Semantics and Algebraic Specification 2009: 121-139
15EEBartek Klin: Bialgebraic methods and modal logic in structural operational semantics. Inf. Comput. 207(2): 237-257 (2009)
2008
14EEBartek Klin, Vladimiro Sassone: Structural Operational Semantics for Stochastic Process Calculi. FoSSaCS 2008: 428-442
2007
13EEBartek Klin: Bialgebraic Operational Semantics and Modal Logic. LICS 2007: 336-345
12EEBartek Klin: Coalgebraic Modal Logic Beyond Sets. Electr. Notes Theor. Comput. Sci. 173: 177-201 (2007)
11EEBartek Klin: Bialgebraic Methods in Structural Operational Semantics: Invited Talk. Electr. Notes Theor. Comput. Sci. 175(1): 33-43 (2007)
2005
10EEBartek Klin: The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic. CALCO 2005: 247-262
9EEBartek Klin, Vladimiro Sassone, Pawel Sobocinski: Labels from Reductions: Towards a General Theory. CALCO 2005: 30-50
8EEBartek Klin: From Bialgebraic Semantics to Congruence Formats. Electr. Notes Theor. Comput. Sci. 128(1): 3-37 (2005)
7EELutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman: Amalgamation in the semantics of CASL. Theor. Comput. Sci. 331(1): 215-247 (2005)
2004
6EEBartek Klin: A Coalgebraic Approach to Process Equivalence and a Coinduction Principle for Traces. Electr. Notes Theor. Comput. Sci. 106: 201-218 (2004)
5EEBartek Klin: Adding recursive constructs to bialgebraic semantics. J. Log. Algebr. Program. 60-61: 259-286 (2004)
2003
4EEBartek Klin, Pawel Sobocinski: Syntactic Formats for Free. CONCUR 2003: 72-86
2001
3EELutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman: Semantics of Architectural Specifications in CASL. FASE 2001: 253-268
2EEBartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski: Checking Amalgamability Conditions for C ASL Architectural Specifications. MFCS 2001: 451-463
1EETill Mossakowski, Bartek Klin: Institution Independent Static Analysis for CASL. WADT 2001: 221-237

Coauthor Index

1Piotr Hoffman [2] [3] [7]
2Till Mossakowski [1] [2] [3] [7]
3Vladimiro Sassone [9] [14]
4Lutz Schröder [2] [3] [7]
5Pawel Sobocinski [4] [9]
6Andrzej Tarlecki [2] [3] [7]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)