When analysing the behavior of complex networked systems, it is often the case that some components within that network are only known to the extent that they belong to one of a set of possible ”implementations” – e.g., versions of a specific protocol, class of schedulers, etc. In this report we augment the specification language considered in BUCSTR-2004-021, BUCS-TR-2005-014, BUCS-TR-2005-015...

1 Department of Genetics and Microbiology, M. Curie-Sklodowska University, Akademicka 19, Lublin 20-033, Poland 2 Division of Structural Biochemistry, Research Center Borstel, Leibniz-Center for Medicine and Biosciences, Parkallee 4a/c, Borstel D-23845, Germany; E-Mails: [email protected] (K.A.D.); [email protected] (O.H.) 3 Division of Bioanalytical Chemistry, Research Center Borstel, Lei...

I analyze an economy in which firms can undertake both laborand capital-augmenting technological improvements. In the long run, the economy resembles the standard growth model with purely labor-augmenting technical change, and the share of labor in GDP is constant. Along the transition path, however, there is capital-augmenting technical change and factor shares change. Tax policy and changes i...

000 001 002 003 004 005 006 007 008 009 010 011 012 013 014 015 016 017 018 019 020 021 022 023 024 025 026 027 028 029 030 031 032 033 034 035 036 037 038 039 040 041 042 043 044 045 046 047 048 049 050 051 052 053 054 055 056 057 058 059 060 061 062 063 064 065 066 067 068 069 070 071 072 073 074 075 076 077 078 079 080 081 082 083 084 085 086 087 088 089 090 091 092 093 094 095 096 097 098 0...